NLocalSAT: Boosting Local Search with Solution Prediction.

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

Published in: IJCAI (2020)

Keyphrases

optimal solution
prediction model
search algorithm
combinatorial optimization
partial solutions
initial solution
search space
prediction accuracy
feature selection
mathematical model
closed form
integer programming
memetic algorithm
linear equations
sequence prediction