Local Search Characteristics of Incomplete SAT Procedures.
Dale SchuurmansFinnegan SoutheyPublished in: AAAI/IAAI (2000)
Keyphrases
- search procedures
- search algorithm
- satisfiability testing
- stochastic local search
- propositional satisfiability
- sat solving
- satisfiability problem
- search strategies
- genetic algorithm
- tabu search
- propositional logic
- search space
- optimal solution
- combinatorial optimization
- phase transition
- missing values
- sat problem
- simulated annealing
- evolutionary algorithm