From Decimation to Local Search and Back: A New Approach to MaxSAT.

Shaowei Cai, Chuan Luo, Haochen Zhang

Browse the full IJCAI paper archive.