Front Matter ....Pages i-xxxiii
Front Matter ....Pages 1-1
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions (Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler)....Pages 3-21
Restarting Algorithms: Sometimes There Is Free Lunch (Sebastian Pokutta)....Pages 22-38
Front Matter ....Pages 39-39
Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP (รzgรผr Akgรผn, Nguyen Dang, Ian Miguel, Andrรกs Z. Salamon, Patrick Spracklen, Christopher Stone)....Pages 41-51
Bilevel Optimization for On-Demand Multimodal Transit Systems (Beste Basciftci, Pascal Van Hentenryck)....Pages 52-68
Local Search and Constraint Programming for a Real-World Examination Timetabling Problem (Michele Battistutta, Sara Ceschia, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf, Elena Topan)....Pages 69-81
Parameterised Bounds on the Sum of Variables in Time-Series Constraints (Nicolas Beldiceanu, Maria I. Restrepo, Helmut Simonis)....Pages 82-98
A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer Programs (Yoshua Bengio, Emma Frejinger, Andrea Lodi, Rahul Patel, Sriram Sankaranarayanan)....Pages 99-111
Integer Programming Techniques for Minor-Embedding in Quantum Annealers (David E. Bernal, Kyle E. C. Booth, Raouf Dridi, Hedayat Alghassi, Sridhar Tayur, Davide Venturelli)....Pages 112-129
An Ising Framework for Constrained Clustering on Special Purpose Hardware (Eldan Cohen, Arik Senderovich, J. Christopher Beck)....Pages 130-147
From MiniZinc to Optimization Modulo Theories, and Back (Francesco Contaldo, Patrick Trentin, Roberto Sebastiani)....Pages 148-166
Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems (Kevin Dalmeijer, Pascal Van Hentenryck)....Pages 167-175
Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm (Marc Etheve, Zacharie Alรจs, Cรดme Bissuel, Olivier Juan, Safia Kedad-Sidhoum)....Pages 176-185
Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem (Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie Parragh)....Pages 186-204
Core-Guided and Core-Boosted Search for CP (Graeme Gange, Jeremias Berg, Emir Demiroviฤ, Peter J. Stuckey)....Pages 205-221
Robust Resource Planning for Aircraft Ground Operations (Yagmur S. Gรถk, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk)....Pages 222-238
Primal Heuristics for Wasserstein Barycenters (Pierre-Yves Bouchet, Stefano Gualandi, Louis-Martin Rousseau)....Pages 239-255
An Exact CP Approach for the Cardinality-Constrained Euclidean Minimum Sum-of-Squares Clustering Problem (Mohammed Najib Haouas, Daniel Aloise, Gilles Pesant)....Pages 256-272
Minimum Cycle Partition with Length Requirements (Kai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch)....Pages 273-282
Optimizing Student Course Preferences in School Timetabling (Richard Hoshino, Irene Fabris)....Pages 283-299
Adaptive CP-Based Lagrangian Relaxation for TSP Solving (Nicolas Isoart, Jean-Charles Rรฉgin)....Pages 300-316
Minimal Perturbation in University Timetabling with Maximum Satisfiability (Alexandre Lemos, Pedro T. Monteiro, Inรชs Lynce)....Pages 317-333
Leveraging Constraint Scheduling: A Case Study to the Textile Industry (Alexandre Mercier-Aubin, Jonathan Gaudreault, Claude-Guy Quimper)....Pages 334-346
Template Matching and Decision Diagrams for Multi-agent Path Finding (Jayanth Krishna Mogali, Willem-Jan van Hoeve, Stephen F. Smith)....Pages 347-363
Hybrid Classification and Reasoning for Image-Based Constraint Solving (Maxime Mulamba, Jayanta Mandi, Rocsildes Canoy, Tias Guns)....Pages 364-380
Multi-speed Gearbox Synthesis Using Global Search and Non-convex Optimization (Chiara Piacentini, Hyunmin Cheong, Mehran Ebrahimi, Adrian Butscher)....Pages 381-398
Enumerative Branching with Less Repetition (Thiago Serra)....Pages 399-416
Lossless Compression of Deep Neural Networks (Thiago Serra, Abhinav Kumar, Srikumar Ramalingam)....Pages 417-430
CP and Hybrid Models for Two-Stage Batching and Scheduling (Tanya Y. Tang, J. Christopher Beck)....Pages 431-446
Improving a Branch-and-Bound Approach for the Degree-Constrained Minimum Spanning Tree Problem with LKH (Maximilian Thiessen, Luis Quesada, Kenneth N. Brown)....Pages 447-456
Insertion Sequence Variables for Hybrid Routing and Scheduling Problems (Charles Thomas, Roger Kameugne, Pierre Schaus)....Pages 457-474
Relaxation-Aware Heuristics for Exact Optimization in Graphical Models (Fulya Trรถsser, Simon de Givry, George Katsirelos)....Pages 475-491
Exact Method Approaches for the Differential Harvest Problem (Gabriel Volte, Eric Bourreau, Rodolphe Giroudeau, Olivier Naud)....Pages 492-510
Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization (Johan Wessรฉn, Mats Carlsson, Christian Schulte)....Pages 511-520
Conflict-Free Learning for Mixed Integer Programming (Jakob Witzig, Timo Berthold)....Pages 521-530
Back Matter ....Pages 531-532