Fault localization and correction with QBF

Stefan Simon Staber, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelTheory and Applications of Satisfiability Testing – SAT 2007
Herausgeber (Verlag)Springer
Seiten355-268
Band4501
ISBN (Print)978-3-540-72787-3
DOIs
PublikationsstatusVeröffentlicht - 2007
VeranstaltungInternational Conference on Theory and Applications of Satisfiability Testing - Lissabon, Portugal
Dauer: 28 Mai 200731 Mai 2007

Publikationsreihe

NameLecture notes in computer science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Theory and Applications of Satisfiability Testing
LandPortugal
OrtLissabon
Zeitraum28/05/0731/05/07

Dieses zitieren