Captain Jack: New Variable Selection Heuristics in Local Search for SAT.
Dave A. D. TompkinsAdrian BalintHolger H. HoosPublished in: SAT (2011)
Keyphrases
- stochastic local search
- propositional satisfiability
- search algorithm
- satisfiability testing
- satisfiability problem
- search procedures
- sat solvers
- random sat instances
- search strategies
- sat problem
- sat solving
- tabu search
- max sat
- search space
- boolean satisfiability
- global search
- genetic algorithm
- optimal solution
- constraint programming
- phase transition
- propositional logic
- combinatorial optimization
- backtrack search
- constraint satisfaction problems
- neural network
- simulated annealing
- orders of magnitude
- heuristic search
- automated reasoning
- search problems
- industrial applications
- combinatorial problems
- global optimization
- clause learning
- np complete
- search procedure
- search tree
- search methods