2018/09/30 by Xinyun Chen, Yuandong Tian, Chen, Xinyun +1 · 156 citations
Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Artificial intelligence #Computer science #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Mathematics #Model-Driven Software Engineering Techniques #Programming language #Rewriting #Theoretical computer science #cs.AI #cs.LG #stat.ML
paper · pdf · doi:10.48550/arxiv.1810.00337
published in arXiv (Cornell University) (Cornell University) · Published in NeurIPS 2019
openalex publication_date 2018/09/30 · arxiv created 2019/10/30 · arxiv updated 2019/10/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Search-based methods for hard combinatorial optimization are often guided by heuristics. Tuning heuristics in various conditions and situations is often time-consuming. In this paper, we propose NeuRewriter that learns a policy to pick heuristics and rewrite the local components of the current solution to iteratively improve it until convergence. The policy factorizes into a region-picking and a rule-picking component, each parameterized by a neural network trained with actor-critic methods in reinforcement learning. NeuRewriter captures the general structure of combinatorial problems and shows strong performance in three versatile tasks: expression simplification, online job scheduling and vehicle routing problems. NeuRewriter outperforms the expression simplification component in Z3; outperforms DeepRM and Google OR-tools in online job scheduling; and outperforms recent neural baselines and Google OR-tools in vehicle routing problems.