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).
Skip to Main content Skip to Navigation
Journal articles

Definability for model counting

Jean-Marie Lagniez 1 Emmanuel Lonca 2 Pierre Marquis 2 
1 HUAWEI - HUAWEI Technologies France
2 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Journal articles
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03167468
Contributor : Accord Elsevier CCSD Connect 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

File

Vignette du document
S0004370218303928.pdf
Files produced by the author(s)

Licence

Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License
Elsevier-hosted Accepted Manuscript

Identifiers

Collections

UNIV-ARTOIS | CNRS | CRIL

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

21

Files downloads

14