Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof.
Marta R. HidalgoRobert Joan-ArinyoPublished in: Comput. Aided Des. (2012)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- geometric structure
- constraint programming
- finite domain
- geometry theorem proving
- reinforcement learning
- video sequences
- low level
- parameter values
- theorem proving
- geometric information
- provably correct