SAT-based unbounded symbolic model checking.

Hyeong-Ju Kang, In-Cheol Park

Browse the full DAC paper archive.