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