Login / Signup

A Symbolic Search Based Approach for Quantified Boolean Formulas.

Gilles AudemardLakhdar Sais
Published in: SAT (2005)
Keyphrases
  • quantified boolean formulas
  • search algorithm
  • search strategy
  • high level
  • search methods
  • search space
  • search strategies