Geometric constraint solver.

William Bouma Ioannis Fudos Christoph M. Hoffmann Jiazhen Cai Robert Paige

Published in: Comput. Aided Des. (1995)

Keyphrases

constraint solver
constraint solving
constraint programming
linear constraints
constraint propagation
constraint satisfaction problems
constraint satisfaction
objective function
sat solvers
real numbers
path consistency
constraint logic programming
special case
constraint networks
constraint solvers