Program

09:00	Antonia Chmiela, Ambros Gleixner, Pawel Lichocki and Sebastian Pokutta Online Learning for Scheduling MIP Heuristics (abstract)
09:25	Mostafa Elaraby, Guy Wolf and Margarida Carvalho OAMIP: Optimizing ANN Architectures using Mixed-Integer Programming (abstract)
09:50	Mark Turner, Timo Berthold, Mathieu Besancon and Thorsten Koch Cutting Plane Selection with Analytic Centers and Multiregression (abstract)
10:15	Egon Peršak and Miguel Anjos Contextual Robust Optimisation with Uncertainty Quantification (abstract)

10:40-11:00Coffee Break

11:00-12:15 Session 9: Network Architectures and Graphical Models

Chair:

Thiago Serra

11:00	Yiwei Bai, Qinru Shi, Marc Grimson, Alexander Flecker and Carla Gomes Efficiently Approximating High-dimensional Pareto Frontiers for Tree-structured Networks using Expansion and Compression (abstract)
11:25	Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama and Takahisa Toda ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems (abstract)
11:50	Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos and Tomas Werner Virtual Pairwise Consistency in Cost Function Networks (abstract)

12:15-13:30Lunch

13:30-14:30 Session 10: Keynote Speaker

Chair:

Andre Augusto Cire

13:30

Ivana Ljubić

Bilevel Optimization Under Uncertainty: Challenges and Opportunities (abstract)

14:30-15:45 Session 11: Symmetry and Reductions in Optimization

Chair:

Justin Pearson

14:30	Christopher Hojny and Marc E. Pfetsch Handling Symmetries in Mixed-Integer Semidefinite Programs (abstract)
14:55	Jihwan Jeong, Scott Sanner and Akshat Kumar A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination (abstract)
15:20	Avraham Itzhakov and Michael Codish Breaking Symmetries with High Dimensional Graph Invariants and their Combination (abstract)

15:45-16:15Coffee Break

16:15-17:30 Session 12: Constraint Programming

Chair:

Willem-Jan van Hoeve

16:15	Auguste Burlats and Gilles Pesant Exploiting Entropy in Constraint Programming (abstract)
16:40	Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel and Enrico Pontelli Constraint Propagation on GPU: A Case Study for the Cumulative Constraint (abstract)
17:05	Carla Juvin, Laurent Houssin and Pierre Lopez Constraint programming for the robust two-machine flow-shop scheduling problem with budgeted uncertainty (abstract)

17:30-18:00Coffee Break

18:00-18:45 Session 13: Extended Abstracts I: AI & Optimization

Chair:

Paulius Dilkas

18:00	Ryo Kuroiwa and Chris Beck Domain-Independent Dynamic Programming: A Novel Model-Based Paradigm Bridging AI and OR (abstract)
18:15	Donato Maragno, Jannis Kurtz, Tabea Röber, Rob Goedhart, Ilker Birbil and Dick den Hertog Finding Regions of Counterfactual Explanations via Robust Optimization (abstract)
18:30	Wenxiu Feng and Carlos Ruiz Online data-driven stochastic optimization with contextual features: an application in electricity market (abstract)

Wednesday, May 31st

View this program: with abstracts session overview talk overview

09:00-10:40 Session 14: Machine Learning and Optimization II

Chair:

Neil Yorke-Smith

09:00	Xinyi Hu, Jasper C.H. Lee and Jimmy H.M. Lee Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints (abstract)
09:25	Parag Pravin Dakle, Serdar Kadioglu, Karthik Uppuluri, Regina Politi, Preethi Raghavan, Saikrishna Rallabandi and Ravisutha Srinivasamurthy NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language (abstract)
09:50	Ítalo Santana, Andrea Lodi and Thibaut Vidal Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill? (abstract) PRESENTER: Thibaut Vidal
10:15	Junyang Cai, Khai-Nguyen Nguyen, Nishant Shrestha, Aidan Good, Ruisen Tu, Xin Yu, Shandian Zhe and Thiago Serra Getting away with more network pruning: From sparsity to geometry and linear regions (abstract)

10:40-11:00Coffee Break

11:00-12:15 Session 15: Prediction and Clustering

Chair:

J. Christopher Beck

11:00	Eldan Cohen Interpretable Clustering via Soft Clustering Trees (abstract)
11:25	Aravinth Chembu, Scott Sanner and Elias Khalil Scalable and Near-Optimal epsilon-tube Clusterwise Regression (abstract)
11:50	Nikolaos Efthymiou and Neil Yorke-Smith Predicting the Optimal Period for Cyclic Hoist Scheduling Problems (abstract)

12:15-13:30Lunch

13:30-14:30 Session 16: Keynote Speaker

Chair:

Elias Khalil

13:30

John Paul Dickerson

Robustness, Privacy, Fairness, and Credibility? Pushing the Boundaries of Economic Design with Deep Learning (abstract)

14:30-15:45 Session 17: Relaxations, Restrictions, and Search

Chair:

Laurent Perron

14:30	Taoan Huang, Aaron Ferber, Yuandong Tian, Bistra Dilkina and Benoit Steiner Local Branching Relaxation Heuristics for Integer Linear Programs (abstract)
14:55	Trong-Hieu Tran, Cédric Pralet and Helene Fargier Combining incomplete search and clause generation: an application to the Orienteering Problem with Time Windows (abstract) PRESENTER: Trong-Hieu Tran
15:20	Rebecca Gentzel, Laurent Michel and Willem-Jan Van Hoeve Optimization Bounds from Decision Diagrams in Haddock (abstract)

15:45-16:15Coffee Break

16:15-17:15 Session 18: Extended Abstracts II: Machine Learning

Chair:

Marleen Balvert

16:15	Antonio Alcántara and Carlos Ruiz A Neural Network-Based Distributional Constraint Learning Methodology for Mixed-Integer Stochastic Optimization (abstract)
16:30	Yudong Xu, Elias Khalil and Scott Sanner Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus (abstract)
16:45	Lorenzo Bonasera and Stefano Gualandi Optimal Shapelets Tree for Time Series Interpretable Classification (abstract)

20:00-23:59Banquet

Banquet at Le galet, located at 3 Promenade des Anglais

Thursday, June 1st

View this program: with abstracts session overview talk overview

09:00-09:30 Session 19: CPAIOR: Past, Present, and Future

09:00	Bistra Dilkina CPAIOR 2024
09:15	Andre Augusto Cire The 20 Papers of 20 Years (abstract)

09:30-10:30 Session 20: Best Paper Awards

Chair:

Andre Augusto Cire

09:30	Anton Korikov and Chris Beck Objective-Based Counterfactual Explanations for Linear Discrete Optimization (abstract)
09:55	Anthony Karahalios and Willem-Jan Van Hoeve Column Elimination for Capacitated Vehicle Routing Problems (abstract)

10:30-11:00Coffee Break

11:00-12:15 Session 21: Model Counting and Boolean Arithmetic

Chair:

Simon de Givry

11:00	Gauthier Pezzoli and Gilles Pesant A Weighted Counting Algorithm for the Circuit Constraint (abstract) PRESENTER: Gauthier Pezzoli
11:25	Paulius Dilkas Generating Random Instances of Weighted Model Counting: An Empirical Analysis with Varying Primal Treewidth (abstract)
11:50	Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam Ngouonou, Rémi Douence and Claude-Guy Quimper Boolean-Arithmetic Equations: Acquisition and Uses (abstract)

12:15-13:30Lunch

13:30-14:30 Session 22: Keynote Speaker

Chair:

Jean-Charles Regin

13:30

Rodrigo Acuna Agost

OR and AI Applications in the Travel Industry (abstract)

14:30-16:10 Session 23: Practice and Applications of CPAIOR

Chair:

Michael Trick

14:30	Aaron Ferber, Emily Griffin, Bistra Dilkina, Burcu Keskin and Meredith Gore Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths (abstract)
14:55	François-Alexandre Tremblay, Dominique Piché-Meunier and Louis Dubois Multi-Objective Optimization for Designing Salary Structures (abstract)
15:20	Samuel Squillaci, Stéphanie Roussel and Cédric Pralet Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches (abstract)
15:45	Dongyun Kim, Yeonjun Choi, Kyungduk Moon, Myungho Lee, Kangbok Lee and Michael Pinedo An iterated greedy constraint programming for the steelmaking continuous casting scheduling (abstract)

16:10-16:45Coffee Break

16:45-17:45 Session 24: Extended Abstracts III: Applications & Boolean Rules

Chair:

Elias Khalil

16:45	Pattanun Chanpiwat, Fabricio Oliveira and Steven A. Gabriel Optimizing Operations Planning of Stand-Alone Battery Storage Using Stochastic Dual Dynamic Programming: A Case Study of German Households (abstract)
17:00	Sobhan Mohammadpour and Emma Frejinger Arc travel time and path choice model estimation subsumed (abstract)
17:15	Fabricio Oliveira, Iuri Martins Santos and Silvio Hamacher Data-driven joint chance-constrained optimization for the workover rig scheduling problem (abstract)
17:30	Wout De Vos and Marleen Balvert Finding Boolean rules in binary data by counting ones (abstract)