An Algebraic Approach to Constraint Satisfaction Problems.
Igor RivinRamin ZabihPublished in: IJCAI (1989)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- search space
- constraint programming
- np complete
- non binary
- constraint solving
- constraint optimization
- np hard
- constraint networks
- arc consistency
- combinatorial problems
- product configuration
- soft constraints
- computational problems
- finite domain
- forward checking
- solving constraint satisfaction problems
- decomposition methods
- sat problem
- backtracking algorithm
- global constraints
- arithmetic constraints
- dynamic constraint satisfaction problems
- weighted constraint satisfaction