A Recursive Algorithm for Projected Model Counting - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

A Recursive Algorithm for Projected Model Counting

(1) , (1)
1
Jean-Marie Lagniez
Centre de Recherche en Informatique de Lens
Pierre Marquis
Centre de Recherche en Informatique de Lens

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]
Fichier principal
Vignette du fichier
lagniez-marquis-aaai19-final (1).pdf (355.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Fabien DELORME  : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03300775

Submitted on : Wednesday, May 25, 2022-10:57:17 AM

Last modification on : Thursday, June 2, 2022-8:24:40 AM

Download

Dates and versions

hal-03300775 , version 1 (25-05-2022)

Identifiers

Cite

Jean-Marie Lagniez, Pierre Marquis. A Recursive Algorithm for Projected Model Counting. 33rd AAAI Conference on Artificial Intelligence (AAAI'19), 2019, Honolulu, Hawaii, United States. ⟨10.1609/aaai.v33i01.33011536⟩. ⟨hal-03300775⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL
10 View
15 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More