Model-based incremental conformance checking to enable interactive product configuration.
Hong LuTao YueShaukat AliLi ZhangPublished in: Inf. Softw. Technol. (2016)
Keyphrases
- product configuration
- decision support
- knowledge compilation
- constraint satisfaction
- constraint satisfaction problems
- process planning
- mass customization
- formal methods
- product information
- databases
- information retrieval
- artificial intelligence
- heuristic search
- configuration problems
- industrial applications
- decision support system
- knowledge management
- search space
- decision making
- data mining