Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers.
Yi XiangYuren ZhouZibin ZhengMiqing LiPublished in: ACM Trans. Softw. Eng. Methodol. (2018)
Keyphrases
- sat solvers
- software product line
- propositional satisfiability
- orders of magnitude
- goal driven
- max sat
- sat solving
- search strategies
- future directions
- product line
- sat problem
- constraint satisfaction
- search space
- boolean satisfiability
- learning methodologies
- software engineering
- sat instances
- weighted max sat
- clause learning sat solvers
- sat encodings
- clause learning
- life cycle
- artificial intelligence
- software development
- search algorithm
- adult literacy
- machine learning