by linking to CSP ‖ B.
Kangfeng YeJim WoodcockPublished in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
- constraint satisfaction problems
- arc consistency
- constraint programming
- decomposition methods
- constraint satisfaction
- tree decomposition
- arc consistency algorithm
- constraint propagation
- np complete
- machine learning
- constraint solving
- constraint networks
- special case
- data structure
- image segmentation
- case study
- knowledge base
- artificial intelligence
- databases
- solving constraint satisfaction problems
- tree decompositions