Sign in

Preface to the Special Volume on the SAT 2005 Competitions and Evaluations.

Daniel Le BerreLaurent Simon
Published in: J. Satisf. Boolean Model. Comput. (2006)
Keyphrases
  • sat solvers
  • international workshop
  • phase transition
  • artificial intelligence
  • case study
  • orders of magnitude
  • volume data
  • sat solving
  • stochastic local search algorithms