A Parallel Framework of Combining Satisfiability Modulo Theory with Indicator-Based Evolutionary Algorithm for Configuring Large and Real Software Product Lines.
Kai ShiHuiqun YuJianmei GuoGuisheng FanLiqiong ChenXingguang YangPublished in: Int. J. Softw. Eng. Knowl. Eng. (2019)