A Recursive Algorithm for Projected Model Counting - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A Recursive Algorithm for Projected Model Counting

Jean-Marie Lagniez
Centre de Recherche en Informatique de Lens
Pierre Marquis
Centre de Recherche en Informatique de Lens

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
lagniez-marquis-aaai19-final (1).pdf (355.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Fabien DELORME  : Connectez-vous pour contacter le contributeur

https://univ-artois.hal.science/hal-03300775

Soumis le : mercredi 25 mai 2022-10:57:17

Dernière modification le : jeudi 7 mars 2024-11:23:29

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS CNRS CRIL
16 Consultations
30 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More