- UHRA Home
- Browsing by Author
Browsing by Author "Egly, Uwe"
Now showing items 1-1 of 1
-
Comparing Different Prenexing Strategies for Quantified Boolean Formulas
Egly, Uwe; Seidl, Martina; Tompits, Hans; Woltran, Stefan; Zolda, M. (Springer Nature, 2004)The majority of the currently available solvers for quantified Boolean formulas (QBFs) process input formulas only in prenex conjunctive normal form. However, the natural representation of practicably relevant problems in ...