ReMax - A MaxSAT aided Product (Re-)Configurator.
Rouven WalterWolfgang KüchlinPublished in: Configuration Workshop (2014)
Keyphrases
- product configuration
- life cycle
- upper bound
- decision support
- combinatorial optimization
- database
- sat solvers
- production planning
- case study
- evolutionary algorithm
- knowledge base
- knowledge management
- constraint satisfaction
- branch and bound algorithm
- phase transition
- product development
- product information
- decision making