Boosting Combinatorial Problem Modeling with Machine Learning

15 July 2018

Papers citing "Boosting Combinatorial Problem Modeling with Machine Learning"

11 / 11 papers shown

Title
Actively Learning Combinatorial Optimization Using a Membership Oracle Rosario Messana Rui Chen Andrea Lodi 52 1 0 23 May 2024
Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study M. Fischetti Jason Jo 50 81 0 17 Dec 2017
Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem André Hottung Shunji Tanaka Kevin Tierney 43 98 0 28 Sep 2017
The ALAMO approach to machine learning Zachary T. Wilson N. Sahinidis 34 161 0 31 May 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 318 1,874 0 03 Feb 2017
Neural Combinatorial Optimization with Reinforcement Learning Irwan Bello Hieu H. Pham Quoc V. Le Mohammad Norouzi Samy Bengio 158 1,493 0 29 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 238 944 0 21 Oct 2016
The Inductive Constraint Programming Loop C. Bessiere Luc de Raedt Tias Guns Lars Kotthoff M. Nanni Siegfried Nijssen Barry O'Sullivan Anastasia Paparrizou D. Pedreschi Helmut Simonis 53 18 0 12 Oct 2015
DASH: Dynamic Approach for Switching Heuristics G. D. Liberto Serdar Kadioğlu Kevin Leo Y. Malitsky 64 58 0 17 Jul 2013
Algorithm Runtime Prediction: Methods & Evaluation Frank Hutter Lin Xu Holger H. Hoos Kevin Leyton-Brown 93 419 0 05 Nov 2012
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 98 975 0 31 Oct 2011