NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques

Yi Chu, Chuan Luo, Shaowei Cai
一月 2023
PDF DOI
类型
会议文章
出版物
AAAI2023
Conf