Enumerating All Boolean Matches.

Alexander Nadel, Yogev Shalmon

Browse the full SAT paper archive.