Heuristic and exact algorithms for product configuration in software product lines.
Juliana Alves PereiraLucas MacielThiago F. NoronhaEduardo FigueiredoPublished in: SPLC (2018)
Keyphrases
- exact algorithms
- product configuration
- software product line
- decision support
- constraint satisfaction
- knowledge compilation
- constraint satisfaction problems
- combinatorial problems
- knapsack problem
- approximation algorithms
- heuristic methods
- max sat
- exact solution
- combinatorial optimization
- software engineering
- process planning
- future directions
- combinatorial optimization problems
- life cycle
- software development
- decision support system
- constraint programming
- mathematical programming
- sat solvers
- formal methods
- search space
- tabu search
- lower bound
- databases
- computer aided
- metaheuristic
- heuristic search