Travelled to:
1 × Portugal
Collaborated with:
R.Bloem
Talks about:
correct (1) local (1) fault (1) qbf (1)
Person: Stefan Staber
DBLP: Staber:Stefan
Contributed to:
Wrote 1 papers:
- SAT-2007-StaberB #fault #locality
- Fault Localization and Correction with QBF (SS, RB), pp. 355–368.