The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry.
Marta R. HidalgoRobert Joan-ArinyoPublished in: J. Autom. Reason. (2014)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction
- geometric constraints
- geometric structure
- constraint satisfaction problems
- constraint solver
- geometry theorem proving
- three dimensional
- state space
- search algorithm
- search space
- d objects
- dynamic environments
- topological information