DMC: A Distributed Model Counter - Université d'Artois Access content directly
Conference Papers Year : 2018

DMC: A Distributed Model Counter

Domains

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

Fabien DELORME  : Connect in order to contact the contributor

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

Submitted on : Wednesday, May 25, 2022-11:09:15 AM

Last modification on : Friday, March 24, 2023-2:53:26 PM

Download

Dates and versions

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

Identifiers

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRISTAL UNIV-LILLE CRIL
17 View
23 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More