Login / Signup
Evolutionary many-objective satisfiability solver for configuring software product lines.
Yimou Hou
Dantong Ouyang
Xinliang Tian
Liming Zhang
Published in:
Appl. Intell. (2022)
Keyphrases
</>
software product line
quantified boolean formulas
product line
future directions
goal driven
life cycle
software engineering
learning methodologies
satisfiability problem
software development
adult literacy
machine learning
sat solving
boolean formula
information systems
genetic algorithm
relational databases