Apr, 2022

多目标组合优化的新核心引导和命中集算法

TL;DR本文提出了两种基于不可满足性的算法,即核引导多目标组合优化解算器和命中集多目标组合优化解算器,实验证明这些算法可以优于现有的基于 SAT 的算法。