Schedule
** Official Proceedings have been published by Springer here **
** All presentations will be at Waite Phillips Hall WPH room B27 (3470 Trousdale Parkway)
** All lunches will be OPEN AIR at Moreton Fig Restaurant (3607 Trousdale Parkway) **
** Opening Reception and Banquet inside at the USC University Club (705 West 34th Street) **
** All times in local LA time, PST **
Monday - June 20, 2020 - Master Class on "Bridging the Gap between Machine Learning and Optimization"
9:25 - 9:35 Welcome
9:35 - 10:25 Tias Guns
10:25 - 10:45 break
10:45 - 11:35 Brandon Amos
11:35 - 12:25 Priya Donti
12:25 - 14:00 Lunch (provided) - open air at Moreton Fig Restaurant
14:00 - 14:50 Bryan Wilder
14:50 - 15:40 Angela Zhou
15:40 - 16:00 break
16:00 - 16:50 Paul Grigas
18:00 OPENING RECEPTION at USC University Club
Tuesday - June 21, 2020 - Main Conference
8:15 - 8:45 Registration
8:45 - 9:00 Opening Remarks
9:00 - 10:40 Paper Presentations (Scheduling and Diagrams) (Chair: Mohamed Siala)
A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times. Eddie Armstrong, Michele Garraffa, Barry O'Sullivan and Helmut Simonis
Solving the Job Shop Scheduling Problem extended with AGVs -- Classical and Quantum Approaches. Marc Geitz, Cristian Grozea, Wolfgang Steigerwald, Robin Stöhr and Armin Wolf
Efficient operations between MDDs and constraints. Victor Jung and Jean-Charles Regin
Stochastic Decision Diagrams. John Hooker
10:40 - 11:00 Break
11:00 - 12:40 Paper Presentations (SAT and Modeling tools) (Chair: Marie Pelleau)
Learning a Propagation Complete Formula. Petr Kučera
Coupling Different Integer Encodings for SAT. Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker and Peter J. Stuckey
A SAT Encoding to compute Aperiodic Tiling Rhythmic Canons. Gennaro Auricchio, Luca Ferrarini, Stefano Gualandi, Greta Lanzarotto and Ludovico Pernazza
Enumerated Types and Type Extensions for MiniZinc. Peter J. Stuckey and Guido Tack
12:40 - 14:00 Lunch (provided) and student mentorship lunch - open air at Moreton Fig Restaurant
14:00 - 15:00 KEYNOTE TALK - Andre Cire, University of Toronto
Decision Diagrams for Deterministic and Stochastic Optimization (abstract).
15:00 - 16:15 Paper Presentations (Machine Learning) (Chair: Tias Guns)
Deep Policy Dynamic Programming for Vehicle Routing Problems. Wouter Kool, Herke van Hoof, Joaquim Gromicho and Max Welling
Hybrid Offline/Online Optimization for Energy Management via Reinforcement Learning. Mattia Silvestri, Allegra De Filippo, Federico Ruggeri and Michele Lombardi
Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists. Julien Ferry, Ulrich Aivodji, Sébastien Gambs, Marie-José Huguet and Mohamed Siala
16:15 - 16:45 Break
16:45 - 18:00 Paper Presentations (Machine Learning) (Chair: Thiago Serra)
Training Thinner and Deeper Neural Networks: Jumpstart Regularization. Carles Roger Riera Molina, Camilo Rey, Thiago Serra, Eloi Puertas Prats and Oriol Pujol Vila
Model-Based Algorithm Configuration with Adaptive Capping and Prior Distributions. Ignace Bleukx, Senne Berden, Lize Coenen, Nicholas Decleyre and Tias Guns
A Learning Large Neighborhood Search for the Staff Rerostering Problem. Fabio Francisco Oberweger, Günther Raidl, Elina Rönnberg and Marc Huber
Wednesday - June 22, 2020 - Main Conference
9:00 - 10:40 Paper Presentations (Constraint Programming) (Chair: Guido Tack)
Practically Uniform Solution Sampling in Constraint Programming. Gilles Pesant, Claude-Guy Quimper and Hélène Verhaeghe
Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem. Yiqing L. Luo and J. Christopher Beck
Model-based Approaches to Multi-Attribute Diverse Matching. Jiachen Zhang, Giovanni Lo Bianco and Christopher Beck
Dealing with the product constraint. Steve Malalel, Victor Jung, Marie Pelleau and Jean-Charles Regin
10:40 - 11:00 Break
11:00 - 12:40 Paper Presentations (Search) (Chair: Vincenzo Liberatore)
Transferring Information across Restarts in MIP. Timo Berthold, Gregor Hendel and Domenico Salvagnin
Learning Pseudo-Backdoors for Mixed Integer Programs. Aaron Ferber, Jialin Song, Bistra Dilkina and Yisong Yue
Towards Copeland Optimization in Combinatorial Problems. Sidhant Bhavnani and Alexander Schiendorfer
Improving the robustness of EPS to solve the TSP. Nicolas Isoart and Jean-Charles Regin
12:40 - 14:00 Lunch (provided) - open air at Moreton Fig Restaurant
14:00 - 15:00 KEYNOTE TALK - Carla Gomes, Cornell University
Combining Reasoning and Learning for Discovery (abstract).
15:00 - 16:15 Paper Presentations (Graphical Models) (Chair: John Hooker)
A FastMap-Based Algorithm for Block Modeling. Ang Li, Peter Stuckey, Sven Koenig and T. K. Satish Kumar
Multiple-choice knapsack constraint in graphical models. Pierre Montalbano, Simon de Givry and George Katsirelos
Analyzing the Reachability Problem in Choice Networks. Piotr Wojciechowski, K. Subramani and Alvaro Velasquez
16:15 - 16:45 Break
16:45 - 17:45 Extended Abstracts Presentations (Machine learning) (Chair: Gilles Pesant)
Inverse Mixed Integer Optimization: Polyhedral Insights and Trust Region Methods. Ian Yihang Zhu, Merve Bodur and Timothy Chan
From deontic logic to mathematical optimization: a rule formalism for emergency decision-making. Guy A. Narboni
Ensemble Methods for Robust Support Vector Machines using Integer Programming. Jannis Kurtz
Learning Optimal Fair Classification Trees. Nathanael Jo, Sina Aghaei, Andrés Gómez and Phebe Vayanos
Wide-Reach Classification. Vincenzo Liberatore
What’s Wrong with Deep Learning in Tree Search for Combinatorial Optimization. Maximilian Böther, Otto Kißig, Martin Taraz, Sarel Cohen, Karen Seidel and Tobias Friedrich
19:00-22:00 BANQUET at USC University Club
Thursday - June 23, 2020 - Main Conference
9:00 - 10:15 Paper Presentations (Best Paper Session) (Chair: Pierre Schaus)
Shattering Inequalities for Learning Optimal Decision Trees. Justin Boutilier, Carla Michini and Zachary Zhou
A MinCumulative Resource Constraint. Yanick Ouellet and Claude-Guy Quimper
A parallel algorithm for generalized arc-consistent filtering for the Alldifferent constraint. Wijnand Suijlen, Felix de Framond, Arnaud Lallouet and Antoine Petitet
10:15 - 10:30 Break
10:30 - 11:30 KEYNOTE TALK - Vinod Nair, Google Brain
Deep Learning and Neural Network Accelerators for Combinatorial Optimization (abstract).
11:30 - 12:45 Extended Abstracts Presentations (Machine Learning and Scheduling) (Chair: Haopeng Zhang)
Minimizing Entropy to Discover Good Solutions to Recurrent Mixed Integer Programs. Charly Robinson La Rocca, Emma Frejinger and Jean-Francois Cordeau
Cooperative bat searching algorithm for mix-binary programming with application to balanced coordination problem. Haopeng Zhang
Optimal Robust Classification Trees. Nathan Justin, Sina Aghaei, Andres Gomez and Phebe Vayanos
Copositive optimization via Ising solvers. Robin Brown, David Bernal, Ankit Sahasrabudhe, Aaron Lott, Davide Venturelli and Marco Pavone
Freight Intermodal transportation Service Network design: An Integer Nonlinear program proposal. El Hassan Laaziz
Joint Chance-Constrained Probabilistic Simple Temporal Networks via Column Generation. Andrew Murray, Michael Cashmore and Ashwin Arulselvan
A constraints programming approach for solving the unrelated parallel machine scheduling problem with release dates and setup times. Mohamed Elamine Athmani, Taha Arbaoui and Farouk Yalaoui
12:45 - 14:00 Lunch (provided) - open air at Moreton Fig Restaurant