Interval Constraint Satisfaction Tool INC++.
Eero HyvönenStefano De PascaleAarno LehtolaPublished in: ICTAI (1993)
Keyphrases
- state space
- constraint satisfaction
- heuristic search
- constraint satisfaction problems
- relaxation labeling
- phase transition
- constraint propagation
- russian doll search
- constraint relaxation
- constraint solving
- robust fault detection
- constraint programming
- sat solvers
- arc consistency
- probabilistic reasoning
- soft constraints
- combinatorial problems
- product configuration
- constraint problems
- forward checking
- real numbers
- search strategies