Towards Projected and Incremental Pseudo-Boolean Model Counting.

Suwei Yang, Kuldeep S. Meel

Browse the full AAAI paper archive.