A Hybrid Approach for SAT.
Djamal HabetChu Min LiLaure DevendevilleMichel VasquezPublished in: CP (2002)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- sat solving
- sat instances
- propositional satisfiability
- search algorithm
- phase transition
- boolean satisfiability
- stochastic local search
- stochastic local search algorithms
- search space
- search strategies
- max sat
- pseudo boolean constraints
- genetic algorithm
- search problems
- decision problems
- constraint satisfaction problems