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 Connect in order to contact the contributor
Submitted on : Friday, March 12, 2021 - 10:08:07 AM
Last modification on : Wednesday, November 3, 2021 - 8:12:06 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

Les métriques sont temporairement indisponibles