id: 70264074
dt: a
an: 70264074
au: Staber, Stefan; Bloem, Roderick
ti: Fault localization and correction with QBF
so: SAT, 355-368 (2007).
py: 2007
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-72788-0_34