PPaperPicks
← All conferences
Editions20262025

CP 2026

A

International Conference on Principles and Practice of Constraint Programming

Official site ↗
65
accepted papers
184
authors
July 20-23, 2026
dates
Portugal
location

65 / 65 papers

  1. 1
    32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Lisbon, Portugal, July 20-23, 2026
    Nicolas Beldiceanu
  2. 2
    A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHL
    Gili Rosenberg
    ,
    Kyle E. C. Booth
    ,
    John Kyle Brubaker
    ,
    Ruben S. Andrist
  3. 3
    A Scheduling-Based Approach to Railway Capacity Estimation for Industrial Freight Junctions
    Luca Di Gaspero
    ,
    Alessia Grosso
    ,
    Giovanni Longo
  4. 4
    A Two-Stage Constraint Programming Approach for Artificial Teeth Scheduling
    Felix Winter
  5. 5
    Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing Problems
    Vilém Heinz
    ,
    Simon Zvára
    ,
    Vít Knobloch
    ,
    Zdenek Hanzálek
    ,
    Petr Vilím
  6. 6
    An Automata-Based Constraint Programming Framework for Optimal Classical Planning
    Damien Van Meerbeeck
    ,
    Arnaud Lequen
    ,
    Gilles Pesant
    ,
    Jendrik Seipp
  7. 7
    An Iterative Constraint Programming Approach to Integrate Maximum Workload Constraints in Preemptive Jobshop Scheduling (Short Paper)
    Tanguy Terrien
    ,
    Cyrille Briand
  8. 8
    An Offline Neuro-Symbolic Football Pattern Retrieval Approach Using Constraint Programming
    Augustin Crespin
    ,
    Pierre Schaus
  9. 9
    Approximating Time-Dependent Transition Times in Constraint Programming for an Earth Observation Mission
    Romain Barrault
    ,
    Cédric Pralet
    ,
    Gauthier Picard
    ,
    Eric Sawyer
  10. 10
    Assembly Line Balancing with Parallel Stations and Shared Resources: A Cycle-Relative Constraint Programming Approach
    Diego Olivier Fernandez Pons
    ,
    Pierre Schaus
  11. 11
    Augmenting the Cumulative Overload Check with Integral Resource Usage Reasoning
    Samuel Cloutier
    ,
    Claude-Guy Quimper
  12. 12
    Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search
    Frej Knutar Lewander
    ,
    Pierre Flener
    ,
    Justin Pearson
    ,
    Peter J. Stuckey
  13. 13
    Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming (Invited Talk)
    Torsten Schaub
  14. 14
    Classification of Non-Redundancy of Boolean Predicates of Arity 4
    Joshua Brakensiek
    ,
    Venkatesan Guruswami
    ,
    Aaron Putterman
  15. 15
    Column Generation with Domain-Independent Dynamic Programming
    Ryo Kuroiwa
    ,
    Edward Lam
  16. 16
    Combining an ε-Constraint Method with the Pareto Global Constraint
    Manuel Combarro Simón
    ,
    Pierre Talbot
    ,
    Pascal Bouvry
  17. 17
    Computing Short SAT Implicants via Ising/QUBO Encodings
    Giuseppe Spallitta
    ,
    Leonardo Dueñas-Osorio
    ,
    Moshe Y. Vardi
  18. 18
    Configuration of Heterogeneous Agent Fleets for Cognitively Demanding Missions
    Lucas Ligny
    ,
    Stéphanie Roussel
    ,
    Gauthier Picard
    ,
    Élise Vareilles
  19. 19
    Constraint Programming for Curriculum-Based High School Timetabling with Half-Blocks
    Bérénice Dubois
    ,
    Stephen Walsh
    ,
    Quentin Cappart
  20. 20
    Constraint Programming for Mixed-Model Assembly Line Scheduling with Complex Industrial Constraints
    Guillaume Povéda
    ,
    Javier Buil Tejero
    ,
    Tamara Borreguero-Sanchidrián
  21. 21
    Constraint Solving and Particle Swarm Optimization for Fixture Layout Optimization
    Anna Vitali
    ,
    Roberto Amadini
    ,
    Vittorio Maniezzo
    ,
    Maurizio Gabbrielli
  22. 22
    Constraint-Aware Self-Supervised Learning for Edge Selection
    Xinda Zheng
    ,
    Frits de Nijs
    ,
    Edward Lam
  23. 23
    CrewAId: Interactive Optimisation for Human-In-The-Loop Crew Rostering and Rerostering
    Matthias Klapperstueck
    ,
    Frits de Nijs
    ,
    Ilankaikone Senthooran
    ,
    Matteo Miceli
    ,
    Michael Wybrow
  24. 24
    Decision Diagrams for Constraint Reasoning and Optimization (Invited Talk)
    Willem-Jan van Hoeve
  25. 25
    Efficient Explanations for Rule Ensembles
    Hao Hu
    ,
    Alexey Ignatiev
    ,
    João Marques-Silva
  26. 26
    End-to-End Certified Graph Colouring
    Simon Dold
    ,
    George Katsirelos
    ,
    Wietze Koops
    ,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Yong Kiam Tan
  27. 27
    Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT
    Jialu Zhang
    ,
    Chu-Min Li
    ,
    Sami Cherif
    ,
    Shuolin Li
  28. 28
    Equal-Sized Partition Problem: Application in Spinning and Yarn Production
    Quoc-Trung Bui
  29. 29
    Fairness of Classifiers in the Presence of Constraints Between Features
    Martin C. Cooper
    ,
    Imane Bousdira
  30. 30
    Formally Verified Certification of Constraint Programming Proofs
    Maarten Flippo
    ,
    Konstantin Sidorov
    ,
    Tip ten Brink
    ,
    Clément Pit-Claudel
    ,
    Emir Demirovic
  31. 31
    From CP Modeling to Preference Elicitation in HMLV Assembly Problems
    Marco Foschini
    ,
    Emilio Gamba
    ,
    Lucas Kletzander
    ,
    Tias Guns
  32. 32
    From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming
    Imko Marijnissen
    ,
    Maarten Flippo
    ,
    Emir Demirovic
  33. 33
    From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc
    Philipp Danzinger
    ,
    Nysret Musliu
  34. 34
    GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound Optimization
    Fabio Tardivo
    ,
    Laurent Michel
    ,
    Willem-Jan van Hoeve
  35. 35
    GRID: Graph-Based Modelling Interface for Domain-Independent Dynamic Programming
    Fabio Giordana
    ,
    Zeynep Kiziltan
    ,
    Ryo Kuroiwa
  36. 36
    Identifying Multi-Hit Cancer Drivers Without Massive Parallelization: A CP, MIP, and Column Generation Framework
    Rick S. H. Willemsen
    ,
    Tenindra Abeywickrama
    ,
    Ramu Anandakrishnan
  37. 37
    Instance Space Analysis and Complexity Estimation for Scheduling Problems
    Christian Pérez
    ,
    Isabel Catalá
    ,
    Unai López
    ,
    Miguel A. Salido
  38. 38
    Learning Unified Graph and Language Representations for SMT Algorithm Selection
    Zhengyang Lu
    ,
    Paul Sarnighausen-Cahn
    ,
    Jiahao Chen
    ,
    Arie Gurfinkel
    ,
    Florin Manea
    ,
    Vijay Ganesh
  39. 39
    Lightweight Look-Ahead-Based Value Heuristics for Constraint Optimization Problems
    Ziyang Yu
    ,
    Hongbo Li
  40. 40
    Linear-Memory Beam Search Algorithms in Domain-Independent Dynamic Programming
    Yuxiao Chen
    ,
    J. Christopher Beck
  41. 41
    Modeling the p-Dispersion Problem with Distance Constraints
    Panteleimon Iosif
    ,
    Nikolaos Ploskas
    ,
    Kostas Stergiou
    ,
    Dimos Tsouros
  42. 42
    Modelling and Optimizing HVAC Systems for Early-Stage Building Design
    Victor Calixto
    ,
    Camilo Cruz Gambardella
    ,
    Amin Karimi
    ,
    Pierre Le Bodic
    ,
    Allen Z. Zhong
  43. 43
    Neurosymbolic Large Neighbourhood Search
    Arnaud Delage-Reid
    ,
    Gilles Pesant
    ,
    Amal Zouaq
  44. 44
    Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SAT
    Jinghu Liang
    ,
    Sami Cherif
    ,
    Chu-Min Li
  45. 45
    On Inferring Cumulative Constraints
    Konstantin Sidorov
  46. 46
    On Symmetries and Transformations
    Daimy Van Caudenberg
    ,
    Markus Anders
    ,
    Bart Bogaerts
  47. 47
    On the Effect of Training Data Selection in Automated Algorithm Selection
    Erdem Kus
    ,
    Özgür Akgün
    ,
    Nguyen Dang
    ,
    Lars Kotthoff
    ,
    Ian Miguel
  48. 48
    On the Self-Stabilization of Dijkstra's Asynchronous Token Circulation
    Asma Khoualdia
    ,
    Sami Cherif
    ,
    Stéphane Devismes
    ,
    Léo Robert
  49. 49
    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
  50. 50
    Paratransit Optimization with Constraint Programming: A Case Study in Savannah, Georgia
    Liam Jagrowski
    ,
    Kevin Dalmeijer
    ,
    Tinghan Ye
    ,
    Pascal Van Hentenryck