Constraint definition system: a computer-algebra based approach to solving geometric-constraint problems.
S. Alasdair BuchananAlan de PenningtonPublished in: Comput. Aided Des. (1993)
Keyphrases
- constraint problems
- computer algebra
- constraint satisfaction
- constraint satisfaction problems
- randomly generated
- soft constraints
- constraint programming
- optimisation problems
- constrained problems
- theorem prover
- constraint propagation
- computer algebra systems
- arc consistency
- constraint solvers
- optimization problems