On forward checking for non-binary constraint satisfaction.
Christian BessièrePedro MeseguerEugene C. FreuderJavier LarrosaPublished in: Artif. Intell. (2002)
Keyphrases
- constraint satisfaction
- forward checking
- non binary
- constraint satisfaction problems
- arc consistency
- constraint programming
- constraint propagation
- backtracking algorithms
- np complete
- combinatorial problems
- search space
- constraint networks
- backtracking algorithm
- phase transition
- np hard
- soft constraints
- global constraints
- heuristic search
- maintaining arc consistency
- sat solvers
- sat problem
- data structure
- search tree
- special case