CP 2024: THE 30TH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING

A
Akgün, Özgür	Frugal Algorithm Selection Diversity, Equity and Inclusion Presentation
Anders, Markus	The Complexity of Symmetry Breaking Beyond Lex-Leader
B
Beck, J. Christopher	Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning Modeling and Solving Combinatorial Optimization Problems with Domain-Independent Dynamic Programming Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming
Berg, Jeremias	Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Biere, Armin	Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints
Bleukx, Ignace	Mutational Fuzz Testing for Constraint Modeling Systems
Bogaerts, Bart	Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Bonlarron, Alexandre	Combining Constraint Programming Reasoning with Large Language Model Predictions
Brenner, Sofia	The Complexity of Symmetry Breaking Beyond Lex-Leader
Brisoux-Devendeville, Laure	Minimizing Working-Group Conflicts in Conference Session Scheduling through Maximum Satisfiability
C
Cai, Shaowei	ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization An Efficient Local Search Solver for Mixed Integer Programming
Cappart, Quentin	Early Career Award. Enhancing constraint programming with machine learning: current challenges and future opportunities Learning Precedences for Scheduling Problems with Graph Neural Networks Learning Lagrangian Multipliers for the Travelling Salesman Problem
Chan, Anouck	Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production
Chen, Xiamin	Deep Cooperation of Local Search and Unit Propagation Techniques
Chen, Zhihan	ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
Cherif, Sami	Minimizing Working-Group Conflicts in Conference Session Scheduling through Maximum Satisfiability
Cloutier, Samuel	Cumulative Scheduling with Calendars and Overtime
Coles, Amanda	Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning
Cortes, Joao	Slide&Drill, a new Approach for Multi-Objective Combinatorial Optimization
D
Dalmeijer, Kevin	A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design
Dang, Nguyen	Frugal Algorithm Selection
De La Banda, Maria Garcia	Distinguished Service Award
De Maria, Elisabetta	Combining Constraint Programming Reasoning with Large Language Model Predictions
de Vlas, Jorke	Integer programming with successor and scaling
Delecluse, Augustin	Black-Box Value Heuristics for solving Optimization problems with Constraint Programming
Demirović, Emir	Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagrams A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
Devriendt, Jo	Mutational Fuzz Testing for Constraint Modeling Systems
Dilkina, Bistra	Learning Lagrangian Multipliers for the Travelling Salesman Problem
Dubray, Alexandre	Anytime Weighted Model Counting with Approximation Guarantees
F
Ferber, Aaron	Learning Lagrangian Multipliers for the Travelling Salesman Problem
Flippo, Maarten	A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
G
Ge, Cunjing	Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints
Gent, Ian P.	Solving Patience and Solitaire Games with Good Old Fashioned AI
Green, Adam Francis	Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning
Grimes, Diarmuid	An Investigation of Generic Approaches to Large Neighbourhood Search
Guns, Tias	Mutational Fuzz Testing for Constraint Modeling Systems Constraint Modelling with LLMs using In-Context Learning
H
Hu, Hao	ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
I
Iosif, Panteleimon	A CP/LS heuristic method for maxmin and minmax location problems with distance constraints
J
Jonsson, Peter	CSPs with Few Alien Constraints
Jung, Jihye	A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design
K
Kaznatcheev, Artem	Exponential steepest ascent from valued constraint graphs of pathwidth four
Kirchweger, Markus	Computing small Rainbow Cycle Numbers with SAT modulo Symmetries
Kuroiwa, Ryo	Modeling and Solving Combinatorial Optimization Problems with Domain-Independent Dynamic Programming
Kuş, Erdem	Frugal Algorithm Selection
L
Lagerkvist, Victor	CSPs with Few Alien Constraints
Le, Duc Anh	Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production
Lecoutre, Christophe	Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production XCSP Competition Results
Legat, Benoit	Constraint Programming with JuMP
Lei, Zhendong	Deep Cooperation of Local Search and Unit Propagation Techniques
Li, Chu-Min	Minimizing Working-Group Conflicts in Conference Session Scheduling through Maximum Satisfiability
Lin, Peng	An Efficient Local Search Solver for Mixed Integer Programming
Lin, Peng	ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
Lu, Pinyan	Deep Cooperation of Local Search and Unit Propagation Techniques
Lucet, Corinne	Minimizing Working-Group Conflicts in Conference Session Scheduling through Maximum Satisfiability
Lynce, Ines	Slide&Drill, a new Approach for Multi-Objective Combinatorial Optimization
M
Mandi, Jayanta	Doctoral Research Award. Scalability in Decision-Focused Learning: State of the Art, Challenges, and Beyond
Manquinho, Vasco	Slide&Drill, a new Approach for Multi-Objective Combinatorial Optimization
Marijnissen, Imko	A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
McCreesh, Ciaran	CP 2025 CP-AI-OR 2025
McCreesh, Ciaran	Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagrams
McIlree, Matthew	Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagrams
Michailidis, Kostis	Constraint Modelling with LLMs using In-Context Learning
Michel, Laurent	CP for Bin Packing with Multi-core and GPUs
Miguel, Ian	Frugal Algorithm Selection
N
Nafar, Mohsen	Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics
Nijssen, Siegfried	Anytime Weighted Model Counting with Approximation Guarantees
Nordström, Jakob	Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagrams
O
O'Sullivan, Barry	An Investigation of Generic Approaches to Large Neighbourhood Search
Oertel, Andy	Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagrams
Osipov, George	CSPs with Few Alien Constraints
P
Parjadis, Augustin	Learning Lagrangian Multipliers for the Travelling Salesman Problem
Paxian, Tobias	Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Pesant, Gilles	Learning Precedences for Scheduling Problems with Graph Neural Networks
Ploskas, Nikolaos	A CP/LS heuristic method for maxmin and minmax location problems with distance constraints
Pontelli, Enrico	CP for Bin Packing with Multi-core and GPUs
Pucel, Xavier	Constraint Programming Model for Assembly Line Balancing and Scheduling with Walking Workers and Parallel Stations
Q
Quimper, Claude-Guy	Learning Precedences for Scheduling Problems with Graph Neural Networks Cumulative Scheduling with Calendars and Overtime
R
Rachmut, Ben	Latency-Aware 2-Opt Monotonic Local Search for Distributed Constraint Optimization
Rattan, Gaurav	The Complexity of Symmetry Breaking Beyond Lex-Leader
Regev, Shiraz	Ex-Ante Constraint Elicitation in Incomplete DCOPs
Rodríguez, María Andreína Francisco	Diversity, Equity and Inclusion Presentation
Rossi, Francesca	Thinking fast and slow in AI: A cognitive architecture to augment both AI and human reasoning
Rousseau, Louis-Martin	Learning Lagrangian Multipliers for the Travelling Salesman Problem
Roussel, Stephanie	Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production Constraint Programming Model for Assembly Line Balancing and Scheduling with Walking Workers and Parallel Stations
Régin, Florian	Combining Constraint Programming Reasoning with Large Language Model Predictions
Régin, Jean-Charles	Efficient Implementation of the Global Cardinality Constraint with Costs
Römer, Michael	Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics
S
Sattoutah, Heythem	Minimizing Working-Group Conflicts in Conference Session Scheduling through Maximum Satisfiability
Schaus, Pierre	Anytime Weighted Model Counting with Approximation Guarantees Black-Box Value Heuristics for solving Optimization problems with Constraint Programming
Schidler, Andre	Structure-guided Local Improvement for Maximum Satisfiability
Schmied, Margaux	Efficient Implementation of the Global Cardinality Constraint with Costs
Sidorov, Konstantin	Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagrams A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
Smits, Jeff	A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers
Souza, Filipe	An Investigation of Generic Approaches to Large Neighbourhood Search
Stergiou, Kostas	A CP/LS heuristic method for maxmin and minmax location problems with distance constraints
Stuckey, Peter	Minizinc Challenge Results
Szeider, Stefan	Computing small Rainbow Cycle Numbers with SAT modulo Symmetries Structure-guided Local Improvement for Maximum Satisfiability
T
Tardivo, Fabio	CP for Bin Packing with Multi-core and GPUs
Tsouros, Dimosthenis C.	A CP/LS heuristic method for maxmin and minmax location problems with distance constraints Mutational Fuzz Testing for Constraint Modeling Systems Constraint Modelling with LLMs using In-Context Learning Constraint Acquisition - A Tutorial on Learning Constraint Models
V
Van Hentenryck, Pascal	A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design
Van Marle, Melle	Exponential steepest ascent from valued constraint graphs of pathwidth four
Vandesande, Dieter	Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Vanroose, Wout	Mutational Fuzz Testing for Constraint Modeling Systems
Verhaeghe, Hélène	Mutational Fuzz Testing for Constraint Modeling Systems ACP Summer School Learning Precedences for Scheduling Problems with Graph Neural Networks
Y
Yeoh, William	Latency-Aware 2-Opt Monotonic Local Search for Distributed Constraint Optimization Ex-Ante Constraint Elicitation in Incomplete DCOPs
Z
Zaikin, Oleg	Inverting Step-reduced SHA-1 and MD5 by Parameterized SAT Solvers
Zhang, Jiachen	Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming
Zhou, Neng-Fa	Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination
Zivan, Roie	Latency-Aware 2-Opt Monotonic Local Search for Distributed Constraint Optimization Ex-Ante Constraint Elicitation in Incomplete DCOPs
Zou, Mengchuan	An Efficient Local Search Solver for Mixed Integer Programming

Disclaimer | Powered by EasyChair Smart Program