Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers

Yi Xiang, Yuren Zhou, Zibin Zheng, Miqing Li. Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers. ACM Transactions on Software Engineering Methodology, 26(4), 2018. [doi]

Abstract

Abstract is missing.