NLocalSAT: Boosting Local Search with Solution Prediction.
https://arxiv.org/abs/2001.09398
@article{DBLP:journals/corr/abs-2001-09398,
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},
journal = {CoRR},
volume = {abs/2001.09398},
year = {2020},
url = {https://arxiv.org/abs/2001.09398},
archivePrefix = {arXiv},
eprint = {2001.09398},
timestamp = {Thu, 30 Jan 2020 18:46:36 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签