Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search

Shaowei Cai, Xindi Zhang
一月 2020
PDF DOI
类型
会议文章
出版物
Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings 26
Conf