Prime clauses for fast enumeration of satisfying assignments to Boolean circuits (2005)

by H Jin, F Somenzi
Venue:In Proceedings of the Design Automation Conference