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]