Parallelizing a SAT-Based Product Configurator.
Nils Merlin UllmannTomás BalyoMichael KleinPublished in: CP (2021)
Keyphrases
- product configuration
- sat solvers
- answer set programming
- constraint satisfaction
- parallel processing
- bounded model checking
- life cycle
- product information
- decision support
- production planning
- product design
- knowledge compilation
- answer sets
- ai planning
- product development
- product quality
- process planning
- configuration problems
- knowledge base