Cai et al. "From Decimation to Local Search and Back: A New Approach to MaxSAT." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/80
Markdown
[Cai et al. "From Decimation to Local Search and Back: A New Approach to MaxSAT." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/cai2017ijcai-decimation/) doi:10.24963/IJCAI.2017/80
BibTeX
@inproceedings{cai2017ijcai-decimation,
title = {{From Decimation to Local Search and Back: A New Approach to MaxSAT}},
author = {Cai, Shaowei and Luo, Chuan and Zhang, Haochen},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {571-577},
doi = {10.24963/IJCAI.2017/80},
url = {https://mlanthology.org/ijcai/2017/cai2017ijcai-decimation/}
}