Solving weighted CSP by maintaining arc consistency.
Javier LarrosaThomas SchiexPublished in: Artif. Intell. (2004)
Keyphrases
- maintaining arc consistency
- constraint satisfaction problems
- arc consistency
- constraint propagation
- forward checking
- dynamic constraint satisfaction problems
- constraint satisfaction
- partial constraint satisfaction
- backtracking algorithm
- sat encodings
- combinatorial optimization
- constraint programming
- distributed constraint satisfaction problems
- constraint problems
- decomposition methods
- timetabling problem
- non binary
- graph coloring
- search space
- solving constraint satisfaction problems
- cellular automata
- np complete