Shaowei Cai, Chuan Luo, Haochen Zhang. From Decimation to Local Search and Back: A New Approach to MaxSAT. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 571-577, ijcai.org, 2017. [doi]
@inproceedings{CaiLZ17-0,
title = {From Decimation to Local Search and Back: A New Approach to MaxSAT},
author = {Shaowei Cai and Chuan Luo and Haochen Zhang},
year = {2017},
doi = {10.24963/ijcai.2017/80},
url = {https://doi.org/10.24963/ijcai.2017/80},
researchr = {https://researchr.org/publication/CaiLZ17-0},
cites = {0},
citedby = {0},
pages = {571-577},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017},
editor = {Carles Sierra},
publisher = {ijcai.org},
isbn = {978-0-9992411-0-3},
}