On Spatial Constraint Solving Approaches.

Christoph M. Hoffmann Bo Yuan

Published in: Automated Deduction in Geometry (2000)

Keyphrases

constraint solving
constraint propagation
constraint satisfaction problems
spatial information
constraint programming
constraint solver
spatio temporal
spatial data
heuristic search
constraint logic programming