Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar. Learning from BDDs in SAT-based bounded model checking. In Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003. pages 824-829, ACM, 2003. [doi]
Abstract is missing.