CNFs and DNFs with Exactly k Solutions.

L. Sunil Chandran, Rishikesh Gajjala, Kuldeep S. Meel

Browse the full SAT paper archive.