J Zhou, J Liang,
M Yin, B He - 26th International Conference on …, 2023 - drops.dagstuhl.de
Abstract The Maximum Satisfiability (MaxSAT), an important optimization problem, has a
range of applications, including network routing, planning and scheduling, and …