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⟩