DMC: A Distributed Model Counter - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

DMC: A Distributed Model Counter

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
lagniez-marquis-szczepanski-ijcai18.pdf (329.16 Ko) Télécharger le fichier

Fabien DELORME  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 25 mai 2022-11:09:15

Dernière modification le : jeudi 7 mars 2024-14:37:05

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski. DMC: A Distributed Model Counter. 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Jul 2018, Stockholm, Sweden. pp.1331-1338, ⟨10.24963/ijcai.2018/185⟩. ⟨hal-03300776⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS CNRS CRISTAL CRISTAL-ORKAD UNIV-LILLE CRIL
22 Consultations
48 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More