Keyphrases
- arc consistency
- constraint satisfaction problems
- constraint satisfaction
- sat problem
- sat solvers
- constraint programming
- propositional satisfiability
- constraint propagation
- phase transition
- satisfiability problem
- space complexity
- global constraints
- backtracking search
- max csp
- arc consistency algorithm
- arithmetic constraints
- non binary
- soft constraints
- constraint networks
- branch and bound search
- solving constraint satisfaction problems
- path consistency
- constraint reasoning
- search strategies
- sat instances
- forward checking
- np complete
- max sat
- worst case time complexity
- search algorithm
- stochastic local search
- maintaining arc consistency
- combinatorial problems
- heuristic search
- singleton arc consistency
- constraint graph
- randomly generated
- search space
- binary constraints
- search procedures
- reinforcement learning