HoonSang Jin, Fabio Somenzi
Prime clauses for fast enumeration of satisfying assignments to boolean circuits
DAC, 2005.
@inproceedings{DAC-2005-JinS, author = "HoonSang Jin and Fabio Somenzi", booktitle = "{Proceedings of the 42nd Design Automation Conference}", doi = "10.1145/1065579.1065775", isbn = "1-59593-058-2", pages = "750--753", publisher = "{ACM}", title = "{Prime clauses for fast enumeration of satisfying assignments to boolean circuits}", year = 2005, }