@inproceedings{TUW-208987, author = {Niemetz, Aina and Preiner, Mathias and Lonsing, Florian and Seidl, Martina and Biere, Armin}, title = {Resolution-Based Certificate Extraction for QBF}, booktitle = {Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)}, year = {2012}, pages = {430--435}, publisher = {Springer LNCS}, address = {7317}, isbn = {978-3-642-31611-1}, doi = {10.1007/978-3-642-31612-8}, note = {Vortrag: Int. Conference on Theory and Applications of Satisfiability Testing, Trento; 2012-06-17 -- 2012-06-20} }