Fault Localization and Correction with QBF.

Stefan Staber, Roderick Bloem

Browse the full SAT paper archive.