Solving Patience and Solitaire Games with Good Old Fashioned AI (abstract)

Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production (abstract)

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability (abstract)

Slide&Drill, a new Approach for Multi-Objective Combinatorial Optimization (abstract)

Structure-guided Local Improvement for Maximum Satisfiability (abstract)

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization (abstract)

Latency-Aware 2-Opt Monotonic Local Search for Distributed Constraint Optimization (abstract)

An Investigation of Generic Approaches to Large Neighbourhood Search (abstract)

Modeling and Solving Combinatorial Optimization Problems with Domain-Independent Dynamic Programming (abstract)

Black-Box Value Heuristics for solving Optimization problems with Constraint Programming (abstract)

Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics (abstract)

Ex-Ante Constraint Elicitation in Incomplete DCOPs (abstract)

Learning Lagrangian Multipliers for the Travelling Salesman Problem (abstract)

Early Career Award. Enhancing constraint programming with machine learning: current challenges and future opportunities (abstract)

Doctoral Research Award. Scalability in Decision-Focused Learning: State of the Art, Challenges, and Beyond (abstract)

Distinguished Service Award

Frugal Algorithm Selection (abstract)

Combining Constraint Programming Reasoning with Large Language Model Predictions (abstract)

Constraint Modelling with LLMs using In-Context Learning (abstract)

Mutational Fuzz Testing for Constraint Modeling Systems (abstract)

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagrams (abstract)

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers (abstract)

An Efficient Local Search Solver for Mixed Integer Programming (abstract)

Constraint Programming with JuMP (abstract)

Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning (abstract)

Learning Precedences for Scheduling Problems with Graph Neural Networks (abstract)

Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming (abstract)

Efficient Implementation of the Global Cardinality Constraint with Costs (abstract)

Cumulative Scheduling with Calendars and Overtime (abstract)

A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design (abstract)

CP for Bin Packing with Multi-core and GPUs (abstract)

Thinking fast and slow in AI: A cognitive architecture to augment both AI and human reasoning (abstract)

Minizinc Challenge Results

XCSP Competition Results

CP 2025

CP-AI-OR 2025

ACP Summer School

Diversity, Equity and Inclusion Presentation

Constraint Acquisition - A Tutorial on Learning Constraint Models (abstract)

Minimizing Working-Group Conflicts in Conference Session Scheduling through Maximum Satisfiability (abstract)

Inverting Step-reduced SHA-1 and MD5 by Parameterized SAT Solvers (abstract)

Constraint Programming Model for Assembly Line Balancing and Scheduling with Walking Workers and Parallel Stations (abstract)

Deep Cooperation of Local Search and Unit Propagation Techniques (abstract)

A CP/LS heuristic method for maxmin and minmax location problems with distance constraints (abstract)

Exponential steepest ascent from valued constraint graphs of pathwidth four (abstract)

Integer programming with successor and scaling (abstract)

The Complexity of Symmetry Breaking Beyond Lex-Leader (abstract)

CSPs with Few Alien Constraints (abstract)

Computing small Rainbow Cycle Numbers with SAT modulo Symmetries (abstract)

Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination (abstract)

Anytime Weighted Model Counting with Approximation Guarantees (abstract)

Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints (abstract)