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

Yi Chu, Shaowei Cai, Chuan Luo
一月 2023
PDF DOI
类型
会议文章
出版物
Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023
Conf