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

Daniel Le Berre Laurent Simon Armando Tacchella

Published in: SAT (2003)

Keyphrases

sat solvers
neural network
real world
search algorithm
lessons learned
evaluation criteria
evolutionary algorithm
satisfiability problem
propositional satisfiability