NLocalSAT: Boosting Local Search with Solution Prediction.
Wenjie ZhangZeyu SunQihao ZhuGe LiShaowei CaiYingfei XiongLu ZhangPublished in: CoRR (2020)
Keyphrases
- optimal solution
- prediction accuracy
- learning algorithm
- search algorithm
- tabu search
- search procedure
- linear equations
- ensemble methods
- artificial neural networks
- prediction model
- job shop scheduling problem
- initial solution
- partial solutions
- global search
- integer programming
- linear programming
- simulated annealing
- feature selection