[Back]


Scientific Reports:
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Negation Normal Form";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-03, 2008; 44 pages.

Created from the Publication Database of the Vienna University of Technology.