Sign in

Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.

Daniel Le BerreLaurent SimonArmando Tacchella
Published in: SAT (2003)
Keyphrases
  • sat solvers
  • neural network
  • real world
  • search algorithm
  • lessons learned
  • evaluation criteria
  • evolutionary algorithm
  • satisfiability problem
  • propositional satisfiability