Learning from BDDs in SAT-based bounded model checking.

Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar

Browse the full DAC paper archive.