HoonSang Jin, Fabio Somenzi. Prime clauses for fast enumeration of satisfying assignments to boolean circuits. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 750-753, ACM, 2005. [doi]
Abstract is missing.