@inproceedings{TUW-140567, author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan}, title = {A Solver for QBFs in Nonprenex Form: Overview and Experimental Results}, booktitle = {Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling}, year = {2006}, numpages = {11}, eid = {7}, note = {eingeladen; Vortrag: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, Guangzhou, China; 2006-09-24 -- 2006-09-27} }