Symbolic Constraints in Constructive Geometric Constraint Solving.
Christoph M. HoffmannRobert Joan-ArinyoPublished in: J. Symb. Comput. (1997)
Keyphrases
- constraint solving
- constraint solver
- constraint logic programming
- constraint propagation
- finite domain
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- high level
- constraint solvers
- symbolic description
- geometric constraints
- geometric structure
- temporal constraints
- objective function
- symbolic representation