Keyphrases
- variable ordering
- search strategies
- search algorithm
- sat solvers
- search procedures
- stochastic local search
- optimal planning
- satisfiability problem
- backtracking search
- dynamic programming
- tabu search
- circuit design
- special case
- high speed
- satisfy the triangle inequality
- min sum
- optimal solution
- constraint satisfaction
- random sat instances
- propositional satisfiability
- classical planning
- sat problem
- phase transition
- heuristic function
- bounded treewidth
- boolean satisfiability
- analog circuits
- electronic circuits
- approximation algorithms
- worst case
- scheduling problem
- search space