Verification of Item Usage Rules in Product Configuration.
Alexey VoronovAnna TidstamKnut ÅkessonJohan MalmqvistPublished in: PLM (2012)
Keyphrases
- product configuration
- decision support
- knowledge compilation
- formal methods
- constraint satisfaction problems
- constraint satisfaction
- process planning
- association rules
- mass customization
- model checking
- configuration problems
- database
- product information
- constraint programming
- formal specification
- industrial applications
- software engineering
- knowledge base
- decision making
- machine learning