Skip to Main content Skip to Navigation
New interface
Conference papers

DMC: A Distributed Model Counter

Document type :
Conference papers
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, November 22, 2022 - 2:26:16 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

17

Files downloads

13