From Decimation to Local Search and Back: A New Approach to MaxSAT 2017: 571-577

Shaowei Cai, Chuan Luo, Haochen Zhang
一月 2017
PDF DOI
类型
会议文章
出版物
IJCAI2017
Conf