Definability for model counting - Archive ouverte HAL Access content directly
Journal Articles Artificial Intelligence Year : 2020

Definability for model counting

(1) , (2) , (2)
1
2
Jean-Marie Lagniez
Pierre Marquis
Fichier principal
Vignette du fichier
S0004370218303928.pdf (1018.29 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03167468 , version 1 (07-03-2022)

Licence

Attribution - NonCommercial - CC BY 4.0

Identifiers

Cite

Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis. Definability for model counting. Artificial Intelligence, 2020, 281, pp.103229. ⟨10.1016/j.artint.2019.103229⟩. ⟨hal-03167468⟩
25 View
29 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More