Skip to Main content Skip to Navigation
Journal articles

Definability for model counting

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

Identifiers

Collections

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⟩

Share

Metrics

Record views

15