Making constraint solvers more usable: overconstraint problem.

Christoph M. Hoffmann Meera Sitharam Bo Yuan

Published in: Comput. Aided Des. (2004)

Keyphrases

constraint solvers
constraint solving
constraint satisfaction problems
constraint programming
constraint propagation
combinatorial problems
constraint solver
solving problems
neural network
knowledge base
special case
np complete