Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
https://hal-univ-artois.archives-ouvertes.fr/hal-03296019 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Thursday, July 22, 2021 - 3:21:28 PM Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM
Daniel Le Berre, Emmanuel Lonca, Pierre Marquis. On the Complexity of Optimization Problems based on Compiled NNF Representations. [Technical Report] CRIL. 2014. ⟨hal-03296019⟩