Evolutionary many-objective satisfiability solver for configuring software product lines

Yimou Hou, Dantong Ouyang, Xinliang Tian, Liming Zhang 0005. Evolutionary many-objective satisfiability solver for configuring software product lines. Appl. Intell., 52(9):10650-10673, 2022. [doi]

Abstract

Abstract is missing.