[Zurück]

@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.'! }