Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}