- UHRA Home
- University of Hertfordshire
- Browsing University of Hertfordshire by Author
Browsing University of Hertfordshire by Author "Tacchella, Armando"
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 ...