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, 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 ...