Increasing the accuracy of SAT-based debugging.

Andr Slflow, Grschwin Fey, Ccile Braunstein, Ulrich Khne, Rolf Drechsler

Browse the full DATE paper archive.