Login / Signup
The SAT2002 competition.
Laurent Simon
Daniel Le Berre
Edward A. Hirsch
Published in:
Ann. Math. Artif. Intell. (2005)
Keyphrases
</>
sat solvers
satisfiability problem
propositional satisfiability
phase transition
search algorithm
pseudo boolean constraints
international planning competition
sat solving
search strategies
sat problem
max sat
sat instances
stochastic local search
international competition
orders of magnitude
boolean satisfiability
logic programming
stochastic local search algorithms
simulated annealing
backtracking search
case study