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

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⟩
17 View
23 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More