Skip to content

International Conference on Principles and Practice of Constraint Programming

CP

A

CORE rank

CORE rank (raw)

A

Fields of research

Artificial Intelligence

Papers indexed

1,990

1995–2026

Papers per year

1995126 peak2026

CP papers

1,990 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2026Configuration of Heterogeneous Agent Fleets for Cognitively Demanding Missions.Lucas Ligny, Stphanie Roussel, Gauthier Picard, lise Vareilles
2026Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SAT.Jinghu Liang, Sami Cherif, Chu-Min Li
2026Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search.Frej Knutar Lewander, Pierre Flener, Justin Pearson, Peter J. Stuckey
2026On the Effect of Training Data Selection in Automated Algorithm Selection.Erdem Kus, zgr Akgn, Nguyen Dang, Lars Kotthoff, Ian Miguel
2026Column Generation with Domain-Independent Dynamic Programming.Ryo Kuroiwa, Edward Lam
2026Optimizing 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
2026CrewAId: Interactive Optimisation for Human-In-The-Loop Crew Rostering and Rerostering.Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Matteo Miceli, Michael Wybrow
2026Smart Cubing for Graph Search: A Comparative Study.Markus Kirchweger, Toms Peitl, Stefan Szeider, Hai Xia
2026On the Self-Stabilization of Dijkstra's Asynchronous Token Circulation.Asma Khoualdia, Sami Cherif, Stphane Devismes, Lo Robert
2026Paratransit Optimization with Constraint Programming: A Case Study in Savannah, Georgia.Liam Jagrowski, Kevin Dalmeijer, Tinghan Ye, Pascal Van Hentenryck
2026Modeling the p-Dispersion Problem with Distance Constraints.Panteleimon Iosif, Nikolaos Ploskas, Kostas Stergiou, Dimos Tsouros
2026Efficient Explanations for Rule Ensembles.Hao Hu, Alexey Ignatiev, Joo Marques-Silva
2026Decision Diagrams for Constraint Reasoning and Optimization (Invited Talk).Willem-Jan van Hoeve
2026Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing Problems.Vilm Heinz, Simon Zvra, Vt Knobloch, Zdenek Hanzlek, Petr Vilm
2026Utility-Peak Itemset Mining with Constraint Programming.Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Sad Jabbour, Lakhdar Sas
2026GRID: Graph-Based Modelling Interface for Domain-Independent Dynamic Programming.Fabio Giordana, Zeynep Kiziltan, Ryo Kuroiwa
2026A Scheduling-Based Approach to Railway Capacity Estimation for Industrial Freight Junctions.Luca Di Gaspero, Alessia Grosso, Giovanni Longo
2026The CP Shortcut: Solving the High-Power Pump Activation Problem Without the Overkill (Short Paper).Mohamed-Anass Gallass, Philippe Greiner, Antoine Tuerlinckx, Hlne Verhaeghe
2026From CP Modeling to Preference Elicitation in HMLV Assembly Problems.Marco Foschini, Emilio Gamba, Lucas Kletzander, Tias Guns
2026Formally Verified Certification of Constraint Programming Proofs.Maarten Flippo, Konstantin Sidorov, Tip ten Brink, Clment Pit-Claudel, Emir Demirovic
2026Constraint Programming for Curriculum-Based High School Timetabling with Half-Blocks.Brnice Dubois, Stephen Walsh, Quentin Cappart
2026End-to-End Certified Graph Colouring.Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan
2026Scaling Industrial Logistics: Tackling Multi-Batching Problems via Sequential Solving.Emmanuelle Dietz, Guillaume Povda, Karl Henning, Clara Buire
2026Neurosymbolic Large Neighbourhood Search.Arnaud Delage-Reid, Gilles Pesant, Amal Zouaq
2026From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc.Philipp Danzinger, Nysret Musliu
2650 of 1,990← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.