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 : Emmanuel Lonca <>
Submitted on : Friday, March 12, 2021 - 10:08:07 AM
Last modification on : Saturday, March 13, 2021 - 3:22:05 AM

Links full text

openaccess

Identifiers

Collections

UNIV-ARTOIS | CNRS

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

Share

Metrics

Record views

15