Consistency Checking by Type Inference and Constraint Satisfaction.
Yahia LebbahPublished in: SAFECOMP (1997)
Keyphrases
- constraint satisfaction
- consistency checking
- constraint satisfaction problems
- arc consistency
- path consistency
- probabilistic reasoning
- phase transition
- constraint propagation
- query answering
- temporal reasoning
- constraint relaxation
- temporal constraints
- constraint programming
- heuristic search
- russian doll search
- constraint solving
- max csp
- soft constraints
- non binary
- constraint networks
- product configuration
- search space
- sat solvers
- probabilistic inference
- constrained problems
- qualitative and quantitative
- robust fault detection
- database