Engineering an Exact Pseudo-Boolean Model Counter.

Suwei Yang, Kuldeep S. Meel

Browse the full AAAI paper archive.