Bounded Model Checking with QBF.

Nachum Dershowitz, Ziyad Hanna, Jacob Katz

Browse the full SAT paper archive.