A modular geometric constraint solver for user interface applications.

Published in: UIST (2001)

Keyphrases

constraint solver
user interface
constraint solving
constraint propagation
constraint programming
linear constraints
constraint satisfaction problems
constraint satisfaction
sat solvers
constraint logic programming
real numbers
arc consistency algorithm
upper bound
constraint solvers