Keyphrases
- stochastic local search
- np complete problems
- satisfiability problem
- sat solving
- sat encodings
- search algorithm
- weighted max sat
- sat instances
- solving hard
- sat solvers
- np complete
- sat problem
- phase transition
- search strategies
- non binary
- combinatorial optimization
- constraint satisfaction
- graph coloring
- boolean satisfiability
- heuristic search
- probability distribution
- data mining