Click here to access the Springer Proceedings

Regular Papers

Objective-Based Counterfactual Explanations for Linear Discrete Optimization 

Anton Korikov and Chris Beck

Predicting the Optimal Period for Cyclic Hoist Scheduling Problems 

Nikolaos Efthymiou and Neil Yorke-Smith

Online Learning for Scheduling MIP Heuristics 

Antonia Chmiela, Ambros Gleixner, Pawel Lichocki and Sebastian Pokutta

Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill? 

Ítalo Santana, Andrea Lodi and Thibaut Vidal

Contextual Robust Optimisation with Uncertainty Quantification 

Egon Peršak and Miguel Anjos

Column Elimination for Capacitated Vehicle Routing Problems 

Anthony Karahalios and Willem-Jan Van Hoeve

Cutting Plane Selection with Analytic Centers and Multiregression 

Mark Turner, Timo Berthold, Mathieu Besancon and Thorsten Koch

Getting Away with more Network Pruning: From Sparsity to Geometry and Linear Regions 

Junyang Cai, Khai-Nguyen Nguyen, Nishant Shrestha, Aidan Good, Ruisen Tu, Xin Yu, Shandian Zhe and Thiago Serra

Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints 

Xinyi Hu, Jasper C.H. Lee and Jimmy H.M. Lee

An Iterated Greedy Constraint Programming for the Steelmaking Continuous Casting Scheduling 

Dongyun Kim, Yeonjun Choi, Kyungduk Moon, Myungho Lee, Kangbok Lee and Michael Pinedo

OAMIP: Optimizing ANN Architectures using Mixed-Integer Programming 

Mostafa Elaraby, Guy Wolf and Margarida Carvalho

Scalable and Near-Optimal Epsilon-tube Clusterwise Regression 

Aravinth Chembu, Scott Sanner and Elias Khalil

Interpretable Clustering via Soft Clustering Trees 

Eldan Cohen

Efficiently Approximating High-dimensional Pareto Frontiers for Tree-structured Networks using Expansion and Compression 

Yiwei Bai, Qinru Shi, Marc Grimson, Alexander Flecker and Carla Gomes

Handling Symmetries in Mixed-Integer Semidefinite Programs 

Christopher Hojny and Marc E. Pfetsch

A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination 

Jihwan Jeong, Scott Sanner and Akshat Kumar

Breaking Symmetries with High Dimensional Graph Invariants and their Combination 

Avraham Itzhakov and Michael Codish

Local Branching Relaxation Heuristics in Large Neighborhood Search for Integer Linear Programs 

Taoan Huang, Aaron Ferber, Yuandong Tian, Bistra Dilkina and Benoit Steiner

Multi-Objective Optimization for Designing Salary Structures 

François-Alexandre Tremblay, Dominique Piché-Meunier and Louis Dubois

Generating Random Instances of Weighted Model Counting: An Empirical Analysis with Varying Primal Treewidth 

Paulius Dilkas

Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches 

Samuel Squillaci, Stéphanie Roussel and Cédric Pralet

Constraint Programming for the Robust Two-machine Flow-shop Scheduling Problem with Budgeted Uncertainty 

Carla Juvin, Laurent Houssin and Pierre Lopez

ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems 

Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama and Takahisa Toda

Exploiting Entropy in Constraint Programming 

Auguste Burlats and Gilles Pesant

Boolean-Arithmetic Equations: Acquisition and Uses 

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam Ngouonou, Rémi Douence and Claude-Guy Quimper

Combining Incomplete Search and Clause Generation: An Application to the Orienteering Problem with Time Windows 

Trong-Hieu Tran, Cédric Pralet and Helene Fargier

Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths 

Aaron Ferber, Emily Griffin, Bistra Dilkina, Burcu Keskin and Meredith Gore

Virtual Pairwise Consistency in Cost Function Networks 

Pierre Montalbano, David Allouche, Simon de Givry, George Katsirelos and Tomas Werner

Optimization Bounds from Decision Diagrams in Haddock 

Rebecca Gentzel, Laurent Michel and Willem-Jan Van Hoeve

Constraint Propagation on GPU: A Case Study for the  Cumulative Constraint 

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel and Enrico Pontelli

NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language 

Parag Pravin Dakle, Serdar Kadioglu, Karthik Uppuluri, Regina Politi, Preethi Raghavan, Saikrishna Rallabandi and Ravisutha Srinivasamurthy

A Weighted Counting Algorithm for the Circuit Constraint 

Gauthier Pezzoli and Gilles Pesant

Extended Abstracts

Finding Regions of Counterfactual Explanations via Robust Optimization

Donato Maragno, Jannis Kurtz, Tabea Röber, Rob Goedhart, Ilker Birbil and Dick den Hertog

Domain-Independent Dynamic Programming: A Novel Model-Based Paradigm Bridging AI and OR

Ryo Kuroiwa and Chris Beck

Data-driven Joint Chance-constrained Optimization for the Workover Rig Scheduling Problem

Fabricio Oliveira, Iuri Martins Santos and Silvio Hamacher. 

Arc Travel Time and Path Choice Model Estimation Subsumed

Sobhan Mohammadpour and Emma Frejinger

Optimizing Operations Planning of Stand-Alone Battery Storage Using Stochastic Dual Dynamic Programming: A Case Study of German Households

Pattanun Chanpiwat, Fabricio Oliveira and Steven A. Gabriel. 

Finding Boolean Rules in Binary Data by Counting Ones

Wout De Vos and Marleen Balvert

A learning approach for constraint customization in optimization models

Mahdis Bayani, Yossiri Adulyasak and Louis-Martin Rousseau

Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus

Yudong Xu, Elias Khalil and Scott Sanner

Optimal Shapelets Tree for Time Series Interpretable Classification

Lorenzo Bonasera and Stefano Gualand

A Neural Network-Based Distributional Constraint Learning Methodology for Mixed-Integer Stochastic Optimization

Antonio Alcántara and Carlos Ruiz

Online data-driven stochastic optimization with contextual features: an application in electricity market

Wenxiu Feng and Carlos Ruiz