Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction.
Eugene C. FreuderDaniel SabinPublished in: AAAI/IAAI (1997)
Keyphrases
- constraint satisfaction
- multi dimensional
- constraint satisfaction problems
- constraint programming
- constraint propagation
- arc consistency
- constraint relaxation
- np complete
- phase transition
- robust fault detection
- soft constraints
- heuristic search
- np hard
- search space
- combinatorial problems
- high dimensional
- probabilistic reasoning
- relaxation labeling
- constraint networks
- non binary
- product configuration
- neural network
- backtrack search
- russian doll search
- constraint solving
- decision support
- sat problem
- hard constraints
- configuration problems
- temporal constraints
- backtracking search
- max csp
- cost function
- expert systems