On Top-Down Pseudo-Boolean Model Counting.

Suwei Yang, Yong Lai, Kuldeep S. Meel

Browse the full SAT paper archive.