Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems.
Sathiamoorthy SubbarayanPublished in: CPAIOR (2005)
Keyphrases
- configuration problems
- constraint satisfaction problems
- decomposition methods
- constraint satisfaction
- product configuration
- difficult problems
- knowledge compilation
- heuristic search
- tree decomposition
- decision diagrams
- search space
- industrial applications
- np complete
- np hard
- arc consistency
- case study
- constraint programming
- binary decision diagrams
- global constraints
- constraint solving
- decomposition method
- expert systems