Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang
QuteSAT: a robust circuit-based SAT solver for complex circuit structure
DATE, 2007.
@inproceedings{DATE-2007-WuLLH,
author = "Chi-An Wu and Ting-Hao Lin and Chih-Chun Lee and Chung-Yang Huang",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266653",
isbn = "978-3-9810801-2-4",
pages = "1313--1318",
publisher = "{ACM}",
title = "{QuteSAT: a robust circuit-based SAT solver for complex circuit structure}",
year = 2007,
}