DMC: A Distributed Model Counter

Jean-Marie Lagniez; Pierre Marquis; Nicolas Szczepanski

doi:10.24963/ijcai.2018/185

Conference papers

DMC: A Distributed Model Counter

Jean-Marie Lagniez ¹ Pierre Marquis ¹ Nicolas Szczepanski ^{2, 1}

1 CRIL - Centre de Recherche en Informatique de Lens

2 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

Document type :

Conference papers

Domain :

Computer Science [cs] / Artificial Intelligence [cs.AI]

Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300776
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Wednesday, May 25, 2022 - 11:09:15 AM
Last modification on : Tuesday, May 31, 2022 - 2:51:29 PM

DMC: A Distributed Model Counter

File

Identifiers

Collections

Citation

Export

Metrics

15

0

DMC: A Distributed Model Counter

File

Identifiers

Collections

Citation

Export

Share

Metrics

15

0