Using QBF to increase accuracy of SAT-based debugging.

Andr Slflow, Grschwin Fey, Rolf Drechsler

Browse the full ISCAS paper archive.