The SAT2002 competition.
Laurent SimonDaniel Le BerreEdward A. HirschPublished 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