NLocalSAT: Boosting Local Search with Solution Prediction
2020·Arxiv