[Zurück]

@unpublished{TUW-180457,
    author = {Seidl, Martina},
    title = {Abandoning Prenex Clausal Normal Form in QBF Solving},
    year = {2009},
    note = {eingeladen; Vortrag: Dagstuhl Seminar ''Algorithms and Applications for Next Generation SAT Solvers'', Schloss Dagstuhl; 2009-11-08 -- 2009-11-13}
}



Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.