%0 Conference Paper %1 TUW-140567 %A Egly, Uwe %A Seidl, Martina %A Woltran, Stefan %B Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling %D 2006 %K imported %T A Solver for QBFs in Nonprenex Form: Overview and Experimental Results

@inproceedings{TUW-140567, added-at = {2008-12-18T09:41:24.000+0100}, author = {Egly, Uwe and Seidl, Martina and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/20959188c18b01739bba57a84c6f6640d/big}, booktitle = {Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling}, interhash = {812b5628c84d9b3949c3e805f4d2be1d}, intrahash = {0959188c18b01739bba57a84c6f6640d}, keywords = {imported}, timestamp = {2009-08-12T16:49:08.000+0200}, title = {A Solver for QBFs in Nonprenex Form: Overview and Experimental Results}, year = 2006 }