@inproceedings{TUW-166379, author = {Seidl, Martina}, title = {A Solver for Quantified Boolean Formulas in Negation Normal Form}, booktitle = {Ausgezeichnete Informatikdissertationen 2007}, year = {2008}, editor = {Wagner, Dorothea and others}, pages = {271--280}, publisher = {Gesellschaft f{\"u}r Informatik (GI)}, address = {Lecture Notes in Informatics (LNI)/D-8/Bonn}, isbn = {978-3-88579-412-7}, note = {eingeladen; Vortrag: GI-Dissertationskolloquium, Dagstuhl; 2008-04-27 -- 2008-04-30} } @comment { WARNUNG: Die Namensliste im Feld 'editor' enth{\"a}lt im Original-Datensatz den Zusatz 'et al.'! }