@inproceedings{ijcai2020p164, title = {NLocalSAT: Boosting Local Search with Solution Prediction}, author = {Zhang, Wenjie and Sun, Zeyu and Zhu, Qihao and Li, Ge and Cai, Shaowei and Xiong, Yingfei and Zhang, Lu}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI-20}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Christian Bessiere}, pages = {1177--1183}, year = {2020}, month = {7}, note = {Main track}, doi = {10.24963/ijcai.2020/164}, url = {https://doi.org/10.24963/ijcai.2020/164}, }