Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
Refining the SAT decision ordering for bounded model checking
DAC, 2004.
@inproceedings{DAC-2004-WangJHS, author = "Chao Wang and HoonSang Jin and Gary D. Hachtel and Fabio Somenzi", booktitle = "{Proceedings of the 41st Design Automation Conference}", doi = "10.1145/996566.996713", isbn = "1-58113-828-8", pages = "535--538", publisher = "{ACM}", title = "{Refining the SAT decision ordering for bounded model checking}", year = 2004, }