Boosting Combinatorial Problem Modeling with Machine Learning

15 July 2018

Papers citing "Boosting Combinatorial Problem Modeling with Machine Learning"

16 / 16 papers shown

Title
Reinforcement learning with combinatorial actions for coupled restless bandits Lily Xu Bryan Wilder Elias B. Khalil Milind Tambe 75 1 0 01 Mar 2025
Learning to Learn in Interactive Constraint Acquisition Dimosthenis C. Tsouros Senne Berden Tias Guns 9 5 0 17 Dec 2023
Digital Twin Applications in Urban Logistics: An Overview Abdo Abouelrous Laurens Bliek Yingqian Zhang AI4CE 21 15 0 01 Feb 2023
Optimization with Constraint Learning: A Framework and Survey Adejuyigbe O. Fajemisin Donato Maragno D. Hertog 58 47 0 05 Oct 2021
Efficient Multiple Constraint Acquisition Dimosthenis C. Tsouros Kostas Stergiou 29 11 0 13 Sep 2021
Deep Neural Network Based Ensemble learning Algorithms for the healthcare system (diagnosis of chronic diseases) Jafar Abdollahi Babak Nouri-Moghaddam M. Ghazanfari OOD 19 31 0 15 Mar 2021
Learning Objective Boundaries for Constraint Optimization Problems Helge Spieker A. Gotlieb 25 3 0 20 Jun 2020
Provably Good Solutions to the Knapsack Problem via Neural Networks of Bounded Size Christoph Hertrich M. Skutella 52 21 0 28 May 2020
Learning 2-opt Heuristics for the Traveling Salesman Problem via Deep Reinforcement Learning P. Costa Jason Rhuggenaath Yingqian Zhang A. Akçay 21 135 0 03 Apr 2020
ENTMOOT: A Framework for Optimization over Ensemble Tree Models Alexander Thebelt Jan Kronqvist Miten Mistry Robert M. Lee Nathan Sudermann-Merx Ruth Misener 29 54 0 10 Mar 2020
Lossless Compression of Deep Neural Networks Thiago Serra Abhinav Kumar Srikumar Ramalingam 24 56 0 01 Jan 2020
Learning Improvement Heuristics for Solving Routing Problems Yaoxin Wu Wen Song Zhiguang Cao Jie Zhang Andrew Lim 39 282 0 12 Dec 2019
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 24 251 0 20 Nov 2018
Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizon Yoshua Bengio Andrea Lodi Antoine Prouvost 89 1,356 0 15 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016