Definability for model counting - Université d'Artois Access content directly
Journal Articles Artificial Intelligence Year : 2020

Definability for model counting

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

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⟩
31 View
40 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More