Geometric constraint solving via C-tree decomposition.
Xiao-Shan GaoGui-Fang ZhangPublished in: Symposium on Solid Modeling and Applications (2003)
Keyphrases
- constraint solving
- tree decomposition
- constraint satisfaction problems
- constraint networks
- tree width
- constraint satisfaction
- constraint propagation
- constraint logic programming
- constraint programming
- probabilistic reasoning
- constraint solver
- graph theory
- parallel processing
- decomposition method
- decomposition methods
- np complete
- answer set programming
- search space
- branch and bound
- np hard
- arc consistency
- tree search
- machine learning
- temporal constraints
- heuristic search
- state space