Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
https://hal-univ-artois.archives-ouvertes.fr/hal-03167468 Contributor : Accord Elsevier CCSDConnect in order to contact the contributor Submitted on : Monday, March 7, 2022 - 2:04:22 PM Last modification on : Sunday, June 26, 2022 - 11:07:17 AM Long-term archiving on: : Wednesday, June 8, 2022 - 7:44:44 PM
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis. Definability for model counting. Artificial Intelligence, Elsevier, 2020, 281, pp.103229. ⟨10.1016/j.artint.2019.103229⟩. ⟨hal-03167468⟩