Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle. Dynamic abstraction using SAT-based BMC. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 754-757, ACM, 2005. [doi]