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

Daniel Le Berre Laurent 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