A Rule-Constructive Geometric Constraint Solver.

R. Juan-Arinyo Toni Soto

Published in: UNIF (1995)

Keyphrases

constraint solver
constraint solving
constraint propagation
constraint satisfaction problems
linear constraints
constraint programming
constraint satisfaction
real numbers
sat solvers
constraint solvers
orders of magnitude
arc consistency algorithm
query expansion