Exploring the landscape of the space of heuristics for local search in SAT.
Andrew W. BurnettAndrew J. ParkesPublished in: CEC (2017)
Keyphrases
- search algorithm
- search space
- search strategies
- stochastic local search
- propositional satisfiability
- search procedures
- genetic algorithm
- satisfiability testing
- stochastic local search algorithms
- sat solvers
- tree search
- global search
- space time
- low dimensional
- hybrid algorithms
- simulated annealing
- simulated annealing and tabu search
- sat problem
- hill climbing
- search methods
- search heuristics
- neighborhood search
- sat solving
- domain independent planning
- backtrack search
- evolutionary algorithm