A Principled Approach Towards Symbolic Geometric Constraint Satisfaction.
Sanjay BhansaliGlenn A. KramerTim J. HoarPublished in: J. Artif. Intell. Res. (1996)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- symbolic description
- constraint programming
- heuristic search
- constraint relaxation
- constraint propagation
- phase transition
- relaxation labeling
- arc consistency
- probabilistic reasoning
- combinatorial problems
- constraint networks
- russian doll search
- robust fault detection
- product configuration
- sat solvers
- soft constraints
- propositional logic
- constraint problems
- forward checking
- configuration problems
- search strategies
- search algorithm
- max csp
- reinforcement learning
- neural network