Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP 2020: 90-106

Shaowei Cai, Xindi Zhang
一月 2020
PDF DOI
类型
会议文章
出版物
CP2020
Conf