A Principled Approach Towards Symbolic Geometric Constraint Satisfaction
Sanjay BhansaliGlenn A. KramerTim J. HoarPublished in: CoRR (1996)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- symbolic description
- heuristic search
- relaxation labeling
- russian doll search
- constraint relaxation
- constraint programming
- constraint propagation
- probabilistic reasoning
- phase transition
- constraint solving
- arc consistency
- constraint networks
- combinatorial problems
- soft constraints
- constraint problems
- constrained problems
- forward checking
- search strategies
- robust fault detection