Now showing items 1-1 of 1

    • QBF modeling: exploiting player symmetry for simplicity and efficiency 

      Sabharwal, Ashish; Ansótegui Gil, Carlos José; Gomes, Carla; Hart, Justin W.; Selman, Bart (Springer Verlag, 2006)
      Quantified Boolean Formulas (QBFs) present the next big challenge for automated propositional reasoning. Not surprisingly, most of the present day QBF solvers are extensions of successful propositional satisfiability ...