[Zurück]

@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}
}