Learning to branch in mixed integer programming
Elias B. Khalil, Pierre Le Bodic, Le Song, George Nemhauser, and Bistra Dilkina · 2016
Later among the works it cites.
A machine learning-based approximation of strong branching
Alejandro M. Alvarez, Quentin Louveaux, and Louis Wehenkel · 2017
Later among the works it cites.
Neural message passing for quantum chemistry
Justin Gilmer, Samuel S. Schoenholz, Patrick F. Riley, Oriol Vinyals, and George E. Dahl · 2017
Later among the works it cites.
Imitation learning: A survey of learning methods
Ahmed Hussein, Mohamed M. Gaber, Eyad Elyan, and Chrisina Jayne · 2017
Later among the works it cites.
Semi-supervised classification with graph convolutional networks
Thomas N. Kipf and Max Welling · 2017
Later among the works it cites.
On learning and branching: a survey
Andrea Lodi and Giulia Zarpellon · 2017
Later among the works it cites.
A machine learning-based approximation of strong branching
Alejandro M. Alvarez, Quentin Louveaux, and Louis Wehenkel · 2017
Later among the works it cites.
Learning to branch
Maria-Florina Balcan, Travis Dick, Tuomas Sandholm, and Ellen Vitercik · 2018
Later among the works it cites.
Learning to solve SMT formulas
Mislav Balunovic, Pavol Bielik, and Martin Vechev · 2018
Later among the works it cites.
Machine learning for combinatorial optimization: a methodological tour d’horizon
Original
Yoshua Bengio, Andrea Lodi, and Antoine Prouvost · 2018
Later among the works it cites.
The SCIP Optimization Suite 6.0
Ambros Gleixner, Michael Bastubbe, Leon Eifler, Tristan Gally, Gerald Gamrath, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Marco E. Lübbecke, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Franziska Schlösser, Christoph Schubert, Felipe Serrano, Yuji Shinano, Jan Merlin Viernickel, Matthias Walter, Fabian Wegscheider, Jonas T. Witt, and Jakob Witzig · 2018
Later among the works it cites.
Cuts, primal heuristics, and learning to branch for the time-dependent traveling salesman problem
Original
Christoph Hansknecht, Imke Joormann, and Sebastian Stiller · 2018
Later among the works it cites.
Learning heuristics for automated reasoning through deep reinforcement learning
Original
Gil Lederman, Markus N. Rabe, and Sanjit A. Seshia · 2018
Later among the works it cites.
Learning to search via retrospective imitation
Original
Jialin Song, Ravi Lanka, Albert Zhao, Yisong Yue, and Masahiro Ono · 2018
Later among the works it cites.
Reinforcement Learning: An Introduction
Richard S. Sutton and Andrew G. Barto · 2018
Later among the works it cites.
MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library
Ambros Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp Christophel, Kati Jarck, Thorsten Koch, Jeff Linderoth, Marco Lübbecke, Hans D. Mittelmann, Derya Ozyurt, Ted K. Ralphs, Domenico Salvagnin, and Yuji Shinano · 2019
Closest in time.
Learning a sat solver from single-bit supervision
Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, and David L. Dill · 2019
Closest in time.
How powerful are graph neural networks?
Keyulu Xu, Weihua Hu, Jure Leskovec, and Stefanie Jegelka · 2019
Closest in time.