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]
@inproceedings{JinS05:0,
title = {Prime clauses for fast enumeration of satisfying assignments to boolean circuits},
author = {HoonSang Jin and Fabio Somenzi},
year = {2005},
doi = {10.1145/1065579.1065775},
url = {http://doi.acm.org/10.1145/1065579.1065775},
researchr = {https://researchr.org/publication/JinS05%3A0},
cites = {0},
citedby = {0},
pages = {750-753},
booktitle = {Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005},
editor = {William H. Joyner Jr. and Grant Martin and Andrew B. Kahng},
publisher = {ACM},
isbn = {1-59593-058-2},
}