NLocalSAT: Boosting Local Search with Solution Prediction

张文杰, 孙泽宇, 朱琪豪, 李戈, 蔡少伟, 熊英飞, 张路^*

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

阅读全文查看 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}
}