An ATMS-based geometric constraint solver for 3D CAD.
Shuichi ShimizuKeisuke InoueMasayuki NumaoPublished in: ICTAI (1991)
Keyphrases
- constraint solver
- constraint solving
- constraint propagation
- constraint programming
- linear constraints
- constraint satisfaction problems
- constraint satisfaction
- computer aided design
- real numbers
- arc consistency algorithm
- cad model
- logic programming
- sat solvers
- constraint logic programming
- constraint solvers
- object oriented
- video sequences
- path consistency
- combinatorial problems
- arc consistency
- finite number
- fuzzy sets
- reinforcement learning