Schedule

Jump to day: Monday / Tuesday / Wednesday / Thursday

Presenting authors are marked with an asterisk (*).

Monday 20 July

▶

CP 2026 main conference sessions are listed below. FLoC plenaries, breaks, and lunches are shown as all-conference events.

09:00 – 10:00
All-conference
FLoC plenary
09:00 – 10:00
10:00 – 10:30
All-conference
Coffee Break
10:00 – 10:30
10:30 – 10:45
Opening Room 1

CP OPENING

Chair: Nicolas Beldiceanu
Start: 10:30
Duration: 15 min
10:30 – 10:45
CP Opening
Nicolas Beldiceanu*
10:45 – 10:50
All-conference
Break
10:45 – 10:50
10:50 – 12:30
Paper Room 1

SCHEDULING

Chair: Laurent Michel
Start: 10:50
Duration: 100 min
10:50 – 11:10
On Inferring Cumulative Constraints
Konstantin Sidorov*
11:10 – 11:30
Augmenting the Cumulative Overload Check with Integral Resource Usage Reasoning
Samuel Cloutier* · Claude-Guy Quimper
11:30 – 11:50
Revisiting Optional Variables in Lazy Clause Generation Solvers for Flexible Scheduling
Arthur Bit-Monnot*
11:50 – 12:10
Instance Space Analysis and Complexity Estimation for Scheduling Problem
Christian Pérez · Isabel Catalá* · Unai López · Miguel A. Salido
12:10 – 12:30
Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing Problems
Vilém Heinz* · Šimon Zvára · Vít Knobloch · Zdeněk Hanzálek · Petr Vilím
Paper Room 2

SAT, MAXSAT, CP-SAT

Chair: Peter Stuckey
Start: 10:50
Duration: 100 min
10:50 – 11:10
Not All Restarts are Equal: MAB-Learning at the Right Time Scale for SAT
Jinghu Liang* · Sami Cherif · Chu-Min Li
11:10 – 11:30
Efficient Explanations for Rule Ensembles
Hao Hu* · Alexey Ignatiev · Joao Marques-Silva
11:30 – 11:50
Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT
Jialu Zhang* · Chu-Min Li · Sami Cherif · Shuolin Li
11:50 – 12:10
From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming
Imko Marijnissen* · Maarten Flippo · Emir Demirović
12:10 – 12:30
Satisfiability for Large Weight Syndrome Decoding
Carl Berton* · Sami Cherif · Claire Delaplace
12:30 – 14:00
All-conference
Lunch
12:30 – 14:00
14:00 – 16:00
Tutorial Room 1

ROUTING/SCHEDULING & GPU FOR PROPAGATION

Chair: Roland Yap Hock Chuan
Start: 14:00
Duration: 120 min
14:00 – 15:00
From CP Fundamentals with MiniCP to Solving Routing and Scheduling Applications with MaxiCP
Augustin Delecluse* · Pierre Schaus*
15:00 – 16:00
Despicable Cores: Thousands of GPU Minions for Constraint Propagation
Laurent Michel* · Fabio Tardivo
16:00 – 16:30
All-conference
Coffee Break
16:00 – 16:30
16:30 – 18:00
All-conference
Travel to Opening Reception Venue
16:30 – 18:00

Tuesday 21 July

▶

CP 2026 main conference sessions are listed below. FLoC plenaries, breaks, and lunches are shown as all-conference events.

09:00 – 10:00
Invited Talk Room 1

DECISION DIAGRAMS

Chair: Roland Yap Hock Chuan
Start: 09:00
Duration: 60 min
09:00 – 10:00
Decision Diagrams for Constraint Reasoning and Optimization
Willem-Jan van Hoeve*
10:00 – 10:30
All-conference
Coffee Break
10:00 – 10:30
10:30 – 11:45
Paper Room 1

ACP AWARDS & NEXT CP/CPAIOR

Chair: Nicolas Beldiceanu
Start: 10:30
Duration: 75 min
10:30 – 10:35
Distinguished service award
surprise*
10:35 – 11:05
Early career award
surprise*
11:05 – 11:35
Doctoral research award
surprise*
11:35 – 11:45
Presentation of next CP & CPAIOR conferences
Jimmy H.M. Lee* · Yonggang Zhang* · Willem-Jan van Hoeve*
11:45 – 11:50
All-conference
Break
11:45 – 11:50
11:50 – 12:30
Paper Room 1

REFORMULATION, MDD/FLOW

Chair: Neng-Fa Zhou
Start: 11:50
Duration: 40 min
11:50 – 12:10
Table Constraints for Integer Programming
Hendrik Bierlee* · Wout Piessens · Tias Guns · Peter J. Stuckey
12:10 – 12:30
The Voice of the Flow: A Graph-based Approach for Step-Wise Explanations of Constraint Satisfaction Problems
Minh Anh Nguyen* · Anh Tien Mai · Hoong Chuin Lau
Paper Room 2

APPLICATION: MODELLING

Chair: Jimmy H.M. Lee
Start: 11:50
Duration: 40 min
11:50 – 12:10
Paratransit Optimization with Constraint Programming: A Case Study in Savannah, Georgia
Liam Jagrowski · Kevin Dalmeijer* · Tinghan Ye · Pascal Van Hentenryck
12:10 – 12:30
Configuration of Heterogeneous Agent Fleets for Cognitively Demanding Missions
Lucas Ligny* · Stéphanie Roussel · Gauthier Picard · Élise Vareilles
12:30 – 14:00
All-conference
Lunch
12:30 – 14:00
14:00 – 16:00
Paper Room 1

VERIFICATION, CERTIFICATION

Chair: François Fages
Start: 14:00
Duration: 120 min
14:00 – 14:20
From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc
Philipp Danzinger* · Nysret Musliu
14:20 – 14:40
Formally Verified Certification of Constraint Programming Proofs
Maarten Flippo* · Konstantin Sidorov · Tip ten Brink · Clément Pit-Claudel · Emir Demirović
14:40 – 15:00
Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB
Ciaran McCreesh · Jakob Nordström · Andy Oertel* · Yong Kiam Tan
15:00 – 15:20
VIPR Certificate Construction from Black-Box ILP Solvers
Stefan Szeider*
15:20 – 15:40
End-To-End Certified Graph Colouring
Simon Dold · George Katsirelos · Wietze Koops* · Magnus O. Myreen · Jakob Nordström · Andy Oertel · Yong Kiam Tan
15:40 – 16:00
On the Self-Stabilization of Dijkstra’s Asynchronous Token Circulation
Asma Khoualdia* · Sami Cherif · Stéphane Devismes · Léo Robert
Paper Room 2

SCHEDULING; TIMETABLING

Chair: Nadjib Lazaar
Start: 14:00
Duration: 120 min
14:00 – 14:20
A Scheduling-Based Approach to Railway Capacity Estimation for Industrial Freight Junctions (Best Application Paper Runner-Up)
Luca Di Gaspero · Alessia Grosso* · Giovanni Longo
14:20 – 14:40
An Iterative Constraint Programming Approach to Integrate Maximum Workload Constraints in Preemptive Jobshop Scheduling (Best Student Paper Runner-Up)
Tanguy Terrien* · Cyrille Briand
14:40 – 15:00
Constraint Programming for Mixed-Model Assembly Line Scheduling with Complex Industrial Constraints
Guillaume Povéda* · Javier Buil Tejero · Tamara Borreguero Sanchidrian
15:00 – 15:20
The CP Shortcut: Solving the High-Power Pump Activation Problem Without the Overkill
Mohamed-Anass Gallass · Philippe Greiner · Antoine Tuerlinckx · Hélène Verhaeghe*
15:20 – 15:40
Approximating Time-Dependent Transition Times in Constraint Programming for an Earth Observation Mission
Romain Barrault* · Cédric Pralet · Gauthier Picard · Eric Sawyer
15:40 – 16:00
Constraint Programming for Curriculum-Based High School Timetabling with Half-Blocks
Bérénice Dubois* · Stephen Walsh · Quentin Cappart
16:00 – 16:30
All-conference
Coffee Break
16:00 – 16:30
16:30 – 18:00
General assembly Room 1

DEI & GENERAL ASSEMBLY

Chair: Gilles Pesant
Start: 16:30
Duration: 90 min
16:30 – 16:50
DEI event
Mohamed Siala* · Gilles Simonin
16:50 – 18:00
General assembly
Gilles Pesant*

Wednesday 22 July

▶

CP 2026 main conference sessions are listed below. FLoC plenaries, breaks, and lunches are shown as all-conference events.

09:00 – 10:00
All-conference
FLoC keynote
09:00 – 10:00
10:00 – 10:30
All-conference
Coffee Break
10:00 – 10:30
10:30 – 12:30
Tutorial Room 1

BEYOND FILTERING & GLOBAL HYBRID OPTIMISATION SOLVER

Chair: Willem-Jan van Hoeve
Start: 10:30
Duration: 120 min
10:30 – 11:30
Exploiting Combinatorial Structure in Constraint Programming: Going Beyond Domain Filtering to Model Counting and Marginal Distributions over Domains
Gilles Pesant*
11:30 – 12:30
Hexaly, a Global Hybrid Optimization Solver
Thierry Benoist*
12:30 – 13:55
All-conference
Lunch
12:30 – 13:55
13:55 – 14:35
Panel Room 1

CONSTRAINT JOURNAL PANEL & CONSTRAINT JOURNAL AWARDS

Chair: Eugene Freuder
Start: 13:55
Duration: 40 min
13:55 – 14:35
Thirtieth Anniversary of the Constraints Journal Panel & Constraints journal awards
Eugene Freuder*
14:35 – 14:40
All-conference
Break
14:35 – 14:40
14:40 – 16:00
Paper Room 1

FILTERING, SEARCH, MODELLING

Chair: Nadjib Lazaar
Start: 14:40
Duration: 80 min
14:40 – 15:00
The Distance Constraint on Sequence Variables
Margaux Schmied* · Augustin Delecluse · Jean-Charles Régin · Pierre Schaus
15:00 – 15:20
Modeling the p-Dispersion Problem with Distance Constraints
Panteleimon Iosif* · Nikolaos Ploskas · Kostas Stergiou · Dimos Tsouros
15:20 – 15:40
Lightweight Look-Ahead-Based Value Heuristics for Constraint Optimization Problems
Ziyang Yu · Hongbo Li*
15:40 – 16:00
An Automata-Based Constraint Programming Framework for Optimal Classical Planning
Damien Van Meerbeeck* · Arnaud Lequen · Gilles Pesant · Jendrik Seipp
Paper Room 2

APPLICATION (LOGISTICS, HVAC Optimisation, PLAYOFF CLINCHING)

Chair: Peter Stuckey
Start: 14:40
Duration: 80 min
14:40 – 15:00
Scaling Industrial Logistics: Tackling Multi-Batching Problems via Sequential Solving
Emmanuelle Dietz* · Guillaume Povéda* · Karl Henning · Clara Buire
15:00 – 15:20
Optimizing a Multi-Commodity Home-Delivery and Pickup Service in Depopulated Rural Areas with Constraint Programming
Ryo Kuroiwa* · Tomoki Hasegawa · Eiji Ueda · Naoki Akiyama · Akira Yoshioka
15:20 – 15:40
Modelling and Optimizing HVAC Systems for Early-Stage Building Design
Victor Calixto · Camilo Cruz Gambardella · Amin Karimi* · Pierre Le Bodic · Allen Z. Zhong
15:40 – 16:00
A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHL
Gili Rosenberg · Kyle E. C. Booth* · J. Kyle Brubaker · Ruben S. Andrist
16:00 – 16:30
All-conference
Coffee Break
16:00 – 16:30
16:30 – 17:50
Paper Room 1

METAHEURISTICS, PORTFOLIO

Chair: Simon de Givry
Start: 16:30
Duration: 80 min
16:30 – 16:50
Constraint Solving and Particle Swarm Optimization for Fixture Layout Optimization
Anna Vitali* · Roberto Amadini · Vittorio Maniezzo · Maurizio Gabbrielli
16:50 – 17:10
Neurosymbolic Large Neighbourhood Search
Arnaud Delage-Reid* · Gilles Pesant · Amal Zouaq
17:10 – 17:30
Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search
Frej Knutar Lewander* · Pierre Flener · Justin Pearson · Peter J. Stuckey
17:30 – 17:50
On the Effect of Training Data Selection in Automated Algorithm Selection
Erdem Kus* · Özgür Akgün* · Nguyen Dang · Lars Kotthoff · Ian Miguel
Paper Room 2

HYBRID MIP/CP, ROUTING, PARETO

Chair: Neng-Fa Zhou
Start: 16:30
Duration: 80 min
16:30 – 16:50
Identifying Multi-Hit Cancer Drivers Without Massive Parallelization: A CP, MIP, and Column Generation Framework
Rick S. H. Willemsen* · Tenindra Abeywickrama · Ramu Anandakrishnan
16:50 – 17:10
Revisiting Integer Programming Encodings of Acyclicity
Masood Feyzbakhsh Rankooh* · Matti Järvisalo
17:10 – 17:30
Constraint-Aware Self-Supervised Learning for Edge Selection
Xinda Zheng* · Frits de Nijs · Edward Lam
17:30 – 17:50
Combining an ε-Constraint Method with the Pareto Global Constraint
Manuel Combarro Simón* · Pierre Talbot · Pascal Bouvry
18:00 – 19:00
All-conference
Travel to Banquet
18:00 – 19:00

Thursday 23 July

CP 2026 main conference sessions are listed below. FLoC plenaries, breaks, and lunches are shown as all-conference events.

09:00 – 10:00
Invited Talk Room 1

ASP

Chair: Justin Pearson
Start: 09:00
Duration: 60 min
09:00 – 10:00
Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming
Torsten Schaub*
10:00 – 10:30
All-conference
Coffee Break
10:00 – 10:30
10:30 – 12:00
Paper Room 1

BEST PAPERS & COMPETITION RESULTS

Chair: Nicolas Beldiceanu
Start: 10:30
Duration: 90 min
10:30 – 10:50
GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound Optimization (Best Paper)
Fabio Tardivo · Laurent Michel* · Willem-Jan van Hoeve
10:50 – 11:10
Solving the Multiple Constant Multiplication Problem with Constraint Programming (Best Student Paper)
Théo Cantaloube* · Xiao Peng · Christine Solnon · Anastasia Volkova
11:10 – 11:30
CrewAId: Interactive Optimisation for Human-In-The-Loop Crew Rostering and Rerostering (Best Application Paper)
Matthias Klapperstueck · Frits de Nijs · Ilankaikone Senthooran · Matteo Miceli · Michael Wybrow*
11:30 – 12:00
Solvers competition results
Christophe Lecoutre* · Peter J. Stuckey*
12:00 – 12:05
All-conference
Break
12:00 – 12:05
12:05 – 12:25
Paper Room 1

EXPLANATIONS

Chair: Nadjib Lazaar
Start: 12:05
Duration: 20 min
12:05 – 12:25
Towards Step-Wise Explanations of Large Search Trees
Ignace Bleukx* · Peter J. Stuckey · Tias Guns
Paper Room 2

SMT

Chair: Ines Lynce
Start: 12:05
Duration: 20 min
12:05 – 12:25
Learning Unified Graph and Language Representations for SMT Algorithm Selection
Zhengyang Lu* · Paul Sarnighausen-Cahn · Jiahao Chen · Arie Gurfinkel · Florin Manea · Vijay Ganesh
12:25 – 13:55
All-conference
Lunch
12:25 – 13:55
13:55 – 14:35
Panel Room 1

HOLY GRAIL PANEL

Chair: Eugene Freuder
Start: 13:55
Duration: 40 min
13:55 – 14:35
Thirty Years of Progress Towards the Holy Grail Panel
Eugene Freuder*
14:35 – 14:40
All-conference
Break
14:35 – 14:40
14:40 – 16:00
Paper Room 1

DYNAMIC PROGRAMMING & SCHEDULING

Chair: Willem-Jan van Hoeve
Start: 14:40
Duration: 80 min
14:40 – 15:00
Linear-Memory Beam Search Algorithms in Domain-Independent Dynamic Programming
Yuxiao Chen* · J. Christopher Beck
15:00 – 15:20
Column Generation with Domain-Independent Dynamic Programming
Ryo Kuroiwa* · Edward Lam
15:20 – 15:40
GRID: Graph-based Modelling Interface for Domain-Independent Dynamic Programming
Fabio Giordana* · Zeynep Kiziltan · Ryo Kuroiwa
15:40 – 16:00
Assembly Line Balancing with Parallel Stations and Shared Resources: A Cycle-Relative Constraint Programming Approach
Diego Olivier Fernandez Pons* · Pierre Schaus
Paper Room 2

APPLICATION (PRODUCTION, TIMETABLING, AUTOMATED DRIVING SYSTEMS)

Chair: Helmut Simonis
Start: 14:40
Duration: 80 min
14:40 – 15:00
From CP Modeling to Preference Elicitation in HMLV Assembly Problems
Marco Foschini* · Emilio Gamba · Lucas Kletzander · Tias Guns
15:00 – 15:20
Equal-sized Partition Problem: Application in Spinning and Yarn Production
Quoc-Trung Bui*
15:20 – 15:40
A Two-Stage Constraint Programming Approach for Artificial Teeth Scheduling
Felix Winter*
15:40 – 16:00
ScenaGen: A CP Model for Grounding Qualitative Driving Scenarios
Nassim Belmecheri* · Arnaud Gotlieb · Nadjib Lazaar · Helge Spieker
16:00 – 16:30
All-conference
Coffee Break
16:00 – 16:30
16:30 – 17:30
Paper Room 1

DATA MINING

Chair: Tias Guns
Start: 16:30
Duration: 60 min
16:30 – 16:50
Fairness of Classifiers in the Presence of Constraints Between Features (Best Paper Runner-Up)
Martin C. · Imane Bousdira*
16:50 – 17:10
Utility-Peak Itemset Mining with Constraint Programming
Chaima Hamdi · Nadjib Lazaar* · Nassim Belmecheri · Djawad Bekkoucha · Said Jabbour · Lakhdar Saïs
17:10 – 17:30
An Offline Neuro-Symbolic Football Pattern Retrieval Approach Using Constraint Programming
Augustin Crespin* · Pierre Schaus
Paper Room 2

THEORY 1

Chair: François Fages
Start: 16:30
Duration: 60 min
16:30 – 16:50
Computing Short SAT Implicants via Ising/QUBO Encodings
Giuseppe Spallitta* · Leonardo Duenas-Osorio · Moshe Y. Vardi
16:50 – 17:10
Smart Cubing for Graph Search: A Comparative Study
Markus Kirchweger · Tomáš Peitl · Stefan Szeider · Hai Xia*
17:10 – 17:30
On Symmetries and Transformations
Daimy Van Caudenberg* · Markus Anders · Bart Bogaerts
17:30 – 17:35
All-conference
Break
17:30 – 17:35
17:35 – 18:00
Paper Room 1

THEORY 2 & CLOSING

Chair: Justin Pearson
Start: 17:35
Duration: 25 min
17:35 – 17:55
Classification of Non-Redundancy of Boolean Predicates of Arity 4
Joshua Brakensiek · Venkatesan Guruswami · Aaron Putterman*
17:55 – 18:00
CP Closing
Nicolas Beldiceanu*