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