related documents Prime clauses for fast enumeration of satisfying assignments to boolean circuits Conference Proceeding
