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