Conference Papers
Year : 2018
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
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⟩
Collections
17
View
23
Download