Combining Constructive and Equational Geometric Constraint-Solving Techniques.

Robert Joan-Arinyo Antoni Soto-Riera

Published in: ACM Trans. Graph. (1999)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction
constraint satisfaction problems
constraint solver
constraint programming
temporal constraints
theorem proving
constraint solvers
reinforcement learning
object oriented