A Case for Efficient Solution Enumeration.

Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson

Browse the full SAT paper archive.