A 2D geometric constraint solver using a graph reduction method.
Samy Ait-AoudiaSebti FoufouPublished in: Adv. Eng. Softw. (2010)
Keyphrases
- reduction method
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- constraint satisfaction
- linear constraints
- constraint satisfaction problems
- selection algorithm
- sat solvers
- constraint logic programming
- random walk
- graph structure
- directed graph
- leaf nodes
- neural network
- weighted graph
- real numbers
- spanning tree
- simulated annealing
- expert systems
- objective function