Efficient SAT-based bounded model checking for software verification

Zijiang Yang
Malay K. Ganai
Aarti Gupta
Pranav Ashar
Theor. Comput. Sci., 404 (2008), pp. 256-274

Abstract