CP

Keyphrases

Publications

2023

Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. CP (2023)
Carla Juvin, Emmanuel Hebrard, Laurent Houssin, Pierre Lopez
An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling. CP (2023)
Ryo Kuroiwa, J. Christopher Beck
Large Neighborhood Beam Search for Domain-Independent Dynamic Programming. CP (2023)
Matthew J. McIlree, Ciaran McCreesh
Proof Logging for Smart Extensional Constraints. CP (2023)
Yousra El Ghazi, Djamal Habet, Cyril Terrioux
A CP Approach for the Liner Shipping Network Design Problem. CP (2023)
Laurent Perron, Frédéric Didier, Steven Gay
The CP-SAT-LP Solver (Invited Talk). CP (2023)
Andreas Plank, Sibylle Möhle, Martina Seidl
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). CP (2023)
Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. CP (2023)
Tom Marty, Tristan François, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau, Quentin Cappart
Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver. CP (2023)
Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng
Towards More Efficient Local Search for Pseudo-Boolean Optimization. CP (2023)
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper). CP (2023)
Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres
Exploiting Configurations of MaxSAT Solvers. CP (2023)
Roger Kameugne, Sévérine Betmbe Fetgo, Thierry Noulamo, Clémentin Tayou Djamégni
Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density. CP (2023)
Nicolas Golenvaux, Xavier Gillard, Siegfried Nijssen, Pierre Schaus
Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper). CP (2023)
Aymeric Beauchamp, Thi-Bich-Hanh Dao, Samir Loudni, Christel Vrain
Incremental Constrained Clustering by Minimal Weighted Modification. CP (2023)
Kexin Zheng, Ang Li, Han Zhang, T. K. Satish Kumar
FastMapSVM for Predicting CSP Satisfiability. CP (2023)
Vianney Coppé, Xavier Gillard, Pierre Schaus
Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming. CP (2023)
Gilles Audemard, Christophe Lecoutre, Charles Prud'homme
Guiding Backtrack Search by Tracking Variables During Constraint Propagation. CP (2023)
Guillaume Perez, Gaël Glorian, Wijnand Suijlen, Arnaud Lallouet
Distribution Optimization in Constraint Programming. CP (2023)
Xiao Peng, Christine Solnon
Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming. CP (2023)
Renee Mirka, Laura Greenstreet, Marc Grimson, Carla P. Gomes
A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper). CP (2023)
Petr Kucera
Binary Constraint Trees and Structured Decomposability. CP (2023)
Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). CP (2023)
Chungjae Lee, Wirattawut Boonbandansook, Vahid Eghbal Akhlaghi, Kevin Dalmeijer, Pascal Van Hentenryck
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper). CP (2023)
Alexandre Dubray, Pierre Schaus, Siegfried Nijssen
Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses. CP (2023)
Tianwei Zhang, Stefan Szeider
Searching for Smallest Universal Graphs and Tournaments with SAT. CP (2023)
Manuel Combarro Simón, Pierre Talbot, Grégoire Danoy, Jedrzej Musial, Mohammed Alswaitti, Pascal Bouvry
Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper). CP (2023)
Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach. CP (2023)
Petr Vilím
CP Solver Design for Maximum CPU Utilization (Invited Talk). CP (2023)
Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack
Addressing Problem Drift in UNHCR Fund Allocation. CP (2023)
Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns
Simplifying Step-Wise Explanation Sequences. CP (2023)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
From Formal Boosted Tree Explanations to Interpretable Rule Sets. CP (2023)
Thomas Schiex
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). CP (2023)
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. CP (2023)
Younes Aalian, Gilles Pesant, Michel Gamache
Optimization of Short-Term Underground Mine Planning Using Constraint Programming. CP (2023)
Kyle E. C. Booth
Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper). CP (2023)
Dimosthenis C. Tsouros, Senne Berden, Tias Guns
Guided Bottom-Up Interactive Constraint Acquisition. CP (2023)
Pierre Talbot, Tingting Hu, Nicolas Navet
Constraint Programming with External Worst-Case Traversal Time Analysis. CP (2023)
João Araújo, Choiwah Chow, Mikolás Janota
Symmetries for Cube-And-Conquer in Finite Model Finding. CP (2023)
Front Matter, Table of Contents, Preface, Conference Organization. CP (2023)
Pouya Shati, Eldan Cohen, Sheila A. McIlraith
SAT-Based Learning of Compact Binary Decision Diagrams for Classification. CP (2023)
Arnoosh Golestanian, Giovanni Lo Bianco, Chengyu Tao, J. Christopher Beck
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities. CP (2023)
Jimmy H. M. Lee
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk). CP (2023)
Guillaume Povéda, Nahum Álvarez, Christian Artigues
Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars. CP (2023)
Maria Garcia de la Banda
Beyond Optimal Solutions for Real-World Problems (Invited Talk). CP (2023)
Stéphanie Roussel, Thomas Polacsek, Anouck Chan
Assembly Line Preliminary Design Optimization for an Aircraft. CP (2023)
Nikolaos Ploskas, Kostas Stergiou, Dimosthenis C. Tsouros
The p-Dispersion Problem with Distance Constraints. CP (2023)
Steve Malalel, Arnaud Malapert, Marie Pelleau, Jean-Charles Régin
MDD Archive for Boosting the Pareto Constraint. CP (2023)
Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views. CP (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)