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

Shaowei Cai, Chuan Luo, Haochen Zhang
January 2017
PDF DOI
Type
Conference paper
Publication
IJCAI2017
Conf