Keyphrases
- search algorithm
- satisfiability problem
- heuristic search
- max sat
- branch and bound
- search strategy
- stochastic local search algorithms
- search space
- backtracking search
- search tree
- sat problem
- search problems
- search methods
- tree search
- sat solvers
- search procedure
- search strategies
- heuristic function
- sat instances
- stochastic local search
- graph coloring
- propositional satisfiability
- state space