Definability for model counting - Université d'Artois Accéder directement au contenu
Article Dans Une Revue Artificial Intelligence Année : 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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

Citer

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⟩
38 Consultations
71 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More