Variable-Selection Heuristics in Local Search for SAT.
Alex S. FukunagaPublished in: AAAI/IAAI (1997)
Keyphrases
- stochastic local search
- propositional satisfiability
- search algorithm
- satisfiability testing
- search procedures
- satisfiability problem
- sat solvers
- sat solving
- random sat instances
- search strategies
- sat problem
- search space
- propositional logic
- global search
- genetic algorithm
- optimal solution
- phase transition
- stochastic local search algorithms
- hill climbing
- backtrack search
- boolean satisfiability
- clause learning
- constraint programming
- memetic algorithm
- randomly generated
- search procedure
- search methods
- search strategy
- tree search
- variable ordering
- np complete
- particle swarm optimization
- simulated annealing