[Zurück]

@unpublished{TUW-140234,
    author = {Seidl, Martina},
    title = {A Solver for QBFs in Nonprenex Form},
    year = {2006},
    note = {Posterpr{\"a}sentation: Doctoral Consortium at the KR 2006, Lake District, UK; 2006-06-02 -- 2006-06-05}
}