Keyphrases
- forward checking
- conflict directed backjumping
- constraint satisfaction problems
- ordering heuristics
- maintaining arc consistency
- constraint satisfaction
- arc consistency
- conflict directed
- variable ordering
- tree search
- constraint propagation
- non binary
- constraint programming
- search space
- random instances
- combinatorial problems
- phase transition
- np hard
- np complete
- temporal constraints
- sat problem
- constraint networks
- genetic algorithm
- space complexity
- search tree
- search algorithm