DMC: A Distributed Model Counter.

Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Browse the full IJCAI paper archive.