Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi. Refining the SAT decision ordering for bounded model checking. In Sharad Malik, Limor Fix, Andrew B. Kahng, editors, Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. pages 535-538, ACM, 2004. [doi]
@inproceedings{WangJHS04,
title = {Refining the SAT decision ordering for bounded model checking},
author = {Chao Wang and HoonSang Jin and Gary D. Hachtel and Fabio Somenzi},
year = {2004},
doi = {10.1145/996566.996713},
url = {http://doi.acm.org/10.1145/996566.996713},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/WangJHS04},
cites = {0},
citedby = {0},
pages = {535-538},
booktitle = {Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004},
editor = {Sharad Malik and Limor Fix and Andrew B. Kahng},
publisher = {ACM},
isbn = {1-58113-828-8},
}