CP

Keyphrases

Publications

2024

Fabio Tardivo, Laurent Michel, Enrico Pontelli
CP for Bin Packing with Multi-Core and GPUs. CP (2024)
João Cortes, Inês Lynce, Vasco M. Manquinho
Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. CP (2024)
Duc Anh Le, Stéphanie Roussel, Christophe Lecoutre, Anouck Chan
Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production. CP (2024)
Neng-Fa Zhou
Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination (Short Paper). CP (2024)
Filipe Souza, Diarmuid Grimes, Barry O'Sullivan
An Investigation of Generic Approaches to Large Neighbourhood Search (Short Paper). CP (2024)
Adam Francis Green, J. Christopher Beck, Amanda Jane Coles
Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning. CP (2024)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. CP (2024)
André Schidler, Stefan Szeider
Structure-Guided Local Improvement for Maximum Satisfiability. CP (2024)
Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hélène Verhaeghe, Tias Guns
Mutational Fuzz Testing for Constraint Modeling Systems. CP (2024)
Hélène Verhaeghe, Quentin Cappart, Gilles Pesant, Claude-Guy Quimper
Learning Precedences for Scheduling Problems with Graph Neural Networks. CP (2024)
Artem Kaznatcheev, Melle van Marle
Exponential Steepest Ascent from Valued Constraint Graphs of Pathwidth Four. CP (2024)
Markus Kirchweger, Stefan Szeider
Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper). CP (2024)
Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. CP (2024)
Roie Zivan, Shiraz Regev, William Yeoh
Ex-Ante Constraint Elicitation in Incomplete DCOPs. CP (2024)
Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck
A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design. CP (2024)
Samuel Cloutier, Claude-Guy Quimper
Cumulative Scheduling with Calendars and Overtime. CP (2024)
Augustin Parjadis, Quentin Cappart, Bistra Dilkina, Aaron M. Ferber, Louis-Martin Rousseau
Learning Lagrangian Multipliers for the Travelling Salesman Problem. CP (2024)
Cunjing Ge, Armin Biere
Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints. CP (2024)
Peng Lin, Mengchuan Zou, Shaowei Cai
An Efficient Local Search Solver for Mixed Integer Programming. CP (2024)
Panteleimon Iosif, Nikolaos Ploskas, Kostas Stergiou, Dimosthenis C. Tsouros
A CP/LS Heuristic Method for Maxmin and Minmax Location Problems with Distance Constraints. CP (2024)
Peter Jonsson, Victor Lagerkvist, George Osipov
CSPs with Few Alien Constraints. CP (2024)
Kostis Michailidis, Dimos Tsouros, Tias Guns
Constraint Modelling with LLMs Using In-Context Learning. CP (2024)
Francesca Rossi
Thinking Fast and Slow in AI: A Cognitive Architecture to Augment Both AI and Human Reasoning (Invited Talk). CP (2024)
Ben Rachmut, Roie Zivan, William Yeoh
Latency-Aware 2-Opt Monotonic Local Search for Distributed Constraint Optimization. CP (2024)
Jorke M. de Vlas
On the Complexity of Integer Programming with Fixed-Coefficient Scaling (Short Paper). CP (2024)
Alexandre Dubray, Pierre Schaus, Siegfried Nijssen
Anytime Weighted Model Counting with Approximation Guarantees for Probabilistic Inference. CP (2024)
Oleg Zaikin
Inverting Step-Reduced SHA-1 and MD5 by Parameterized SAT Solvers. CP (2024)
Front Matter, Table of Contents, Preface, Conference Organization. CP (2024)
Margaux Schmied, Jean-Charles Régin
Efficient Implementation of the Global Cardinality Constraint with Costs. CP (2024)
Jiachen Zhang, J. Christopher Beck
Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming. CP (2024)
Markus Anders, Sofia Brenner, Gaurav Rattan
The Complexity of Symmetry Breaking Beyond Lex-Leader. CP (2024)
Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. CP (2024)
Florian Régin, Elisabetta De Maria, Alexandre Bonlarron
Combining Constraint Programming Reasoning with Large Language Model Predictions. CP (2024)
Ian P. Gent
Solving Patience and Solitaire Games with Good Old Fashioned AI (Invited Talk). CP (2024)
Xiamin Chen, Zhendong Lei, Pinyan Lu
Deep Cooperation of Local Search and Unit Propagation Techniques. CP (2024)
Augustin Delecluse, Pierre Schaus
Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper). CP (2024)
Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel
Frugal Algorithm Selection (Short Paper). CP (2024)
Mohsen Nafar, Michael Römer
Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics. CP (2024)
Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. CP (2024)
Xavier Pucel, Stéphanie Roussel
Constraint Programming Model for Assembly Line Balancing and Scheduling with Walking Workers and Parallel Stations. CP (2024)
Mohamed Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux Devendeville
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper). CP (2024)

volume 307, 2024

30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain CP 307 (2024)

2023

volume 280, 2023

29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada CP 280 (2023)