NLocalSAT: Boosting Local Search with Solution Prediction.

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

Browse the full IJCAI paper archive.