%0 Conference Paper %1 conf/sat/StaberB07 %A Staber, Stefan %A Bloem, Roderick %B SAT %D 2007 %E Marques-Silva, João %E Sakallah, Karem A. %I Springer %K dblp %P 355-368 %T Fault Localization and Correction with QBF. %U http://dblp.uni-trier.de/db/conf/sat/sat2007.html#StaberB07 %V 4501 %@ 978-3-540-72787-3

@inproceedings{conf/sat/StaberB07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Staber, Stefan and Bloem, Roderick}, biburl = {https://www.bibsonomy.org/bibtex/21af6efa10e9e29d1955fb23283351a6c/dblp}, booktitle = {SAT}, crossref = {conf/sat/2007}, editor = {Marques-Silva, João and Sakallah, Karem A.}, ee = {https://doi.org/10.1007/978-3-540-72788-0_34}, interhash = {d8c18c6f8de7f5687dad1da8299f4733}, intrahash = {1af6efa10e9e29d1955fb23283351a6c}, isbn = {978-3-540-72787-3}, keywords = {dblp}, pages = {355-368}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:23:06.000+0100}, title = {Fault Localization and Correction with QBF.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2007.html#StaberB07}, volume = 4501, year = 2007 }