NLocalSAT: Boosting Local Search with Solution Prediction

Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang^*

IJCAI'20: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence · July 2020

Read paper View BibTeX

BibTeX

@inproceedings{IJCAI20,
  author = {Wenjie Zhang and Zeyu Sun and Qihao Zhu and Ge Li and Shaowei Cai and Yingfei Xiong and Lu Zhang},
  title = {NLocalSAT: Boosting Local Search with Solution Prediction},
  year = {2020},
  month = {7},
  booktitle = {IJCAI'20: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence},
  site_hide_home = {true},
  site_corr = {7}
}