A constraint solver to define correctly dimensioned and overdimensioned parts.

M. Luisa Martínez Jesús Félez

Published in: Comput. Aided Des. (2005)

Keyphrases

constraint solver
constraint solving
constraint propagation
constraint satisfaction problems
constraint programming
linear constraints
constraint satisfaction
constraint logic programming
sat solvers
path consistency
real numbers
neural network
special case
constraint solvers
arc consistency algorithm