NLocalSAT: Boosting Local Search with Solution Prediction

Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
一月 2020
PDF DOI
类型
会议文章
出版物
IJCAI2020
Conf