Portal - CP 2021

CP 2021	October 25-29, 2021, Montpellier, France (Virtual Conference)
27th International Conference on Principles and Practice of Constraint Programming (CP 2021) Laurent D. Michel (Ed.)
ISBN 978-3-95977-211-2, LIPICS Vol. 210	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 38 MB)
Search Publication Server

Authors

Bedouhene, Abderahmane

de Azevedo Silveira, Guilherme

Debesson, Adrien

de Givry, Simon

de la Banda, Maria Garcia

Delobel, François

Dien, Matthieu

Dlask, Tomáš

Escamocher, Guillaume

Galleguillos, Cristian

Hagebaum-Reignier, Denis

Klapperstueck, Matthias

Klein, Michael

Kohlenbrein, Wolfgang

Lackner, Marie-Louise

Rousseau, Louis-Martin

Schrott-Kostwein, Philipp

Semenov, Alexander

Senthooran, Ilankaikone

Tsouros, Dimosthenis C.

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Michel, Laurent D.

Abstract | Document (596 KB) | BibTeX

The Bi-Objective Long-Haul Transportation Problem on a Road Network (Invited Talk)

Authors: Archetti, Claudia ; Jabali, Ola ; Mor, Andrea ; Simonetto, Alberto ; Speranza, M.Grazia

Abstract | Document (298 KB) | BibTeX

Constrained-Based Differential Privacy (Invited Talk)

Authors: Fioretto, Ferdinando

Abstract | Document (377 KB) | BibTeX

Learning in Local Branching (Invited Talk)

Authors: Liu, Defeng ; Lodi, Andrea

Abstract | Document (384 KB) | BibTeX

Filtering Isomorphic Models by Invariants (Short Paper)

Authors: Araújo, João ; Chow, Choiwah ; Janota, Mikoláš

Abstract | Document (640 KB) | BibTeX

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper)

Authors: Cai, Shaowei ; Luo, Chuan ; Zhang, Xindi ; Zhang, Jian

Abstract | Document (705 KB) | BibTeX

Unit Propagation with Stable Watches (Short Paper)

Authors: Iser, Markus ; Balyo, Tomáš

Abstract | Document (870 KB) | BibTeX

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper)

Authors: Kheireddine, Anissa ; Renault, Etienne ; Baarir, Souheib

Abstract | Document (778 KB) | BibTeX

Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper)

Authors: Korhonen, Tuukka ; Järvisalo, Matti

Abstract | Document (897 KB) | BibTeX

Failure Based Variable Ordering Heuristics for Solving CSPs (Short Paper)

Authors: Li, Hongbo ; Yin, Minghao ; Li, Zhanshan

Abstract | Document (644 KB) | BibTeX

Generating Magical Performances with Constraint Programming (Short Paper)

Authors: de Azevedo Silveira, Guilherme

Abstract | Document (739 KB) | BibTeX

Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles

Authors: Ahmadi, Saman ; Tack, Guido ; Harabor, Daniel ; Kilby, Philip

Abstract | Document (1,938 KB) | BibTeX

Building High Strength Mixed Covering Arrays with Constraints

Authors: Ansótegui, Carlos ; Ojeda, Jesús ; Torres, Eduard

Abstract | Document (801 KB) | BibTeX

On How Turing and Singleton Arc Consistency Broke the Enigma Code

Authors: Antuori, Valentin ; Portoleau, Tom ; Rivière, Louis ; Hebrard, Emmanuel

Abstract | Document (878 KB) | BibTeX

Combining Monte Carlo Tree Search and Depth First Search Methods for a Car Manufacturing Workshop Scheduling Problem

Authors: Antuori, Valentin ; Hebrard, Emmanuel ; Huguet, Marie-José ; Essodaigui, Siham ; Nguyen, Alain

Abstract | Document (748 KB) | BibTeX

Practical Bigraphs via Subgraph Isomorphism

Authors: Archibald, Blair ; Burns, Kyle ; McCreesh, Ciaran ; Sevegnani, Michele

Abstract | Document (1,705 KB) | BibTeX

The Hybrid Flexible Flowshop with Transportation Times

Authors: Armstrong, Eddie ; Garraffa, Michele ; O'Sullivan, Barry ; Simonis, Helmut

Abstract | Document (856 KB) | BibTeX

CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial Games

Authors: Bai, Yiwei ; Chen, Di ; Gomes, Carla P.

Abstract | Document (1,409 KB) | BibTeX

An Interval Constraint Programming Approach for Quasi Capture Tube Validation

Authors: Bedouhene, Abderahmane ; Neveu, Bertrand ; Trombettoni, Gilles ; Jaulin, Luc ; Le Menec, Stéphane

Abstract | Document (2,018 KB) | BibTeX

Exhaustive Generation of Benzenoid Structures Sharing Common Patterns

Authors: Carissan, Yannick ; Hagebaum-Reignier, Denis ; Prcovic, Nicolas ; Terrioux, Cyril ; Varet, Adrien

Abstract | Document (1,082 KB) | BibTeX

Combining VSIDS and CHB Using Restarts in SAT

Authors: Cherif, Mohamed Sami ; Habet, Djamal ; Terrioux, Cyril

Abstract | Document (1,148 KB) | BibTeX

On the Tractability of Explaining Decisions of Classifiers

Authors: Cooper, Martin C. ; Marques-Silva, João

Abstract | Document (781 KB) | BibTeX

A Collection of Constraint Programming Models for the Three-Dimensional Stable Matching Problem with Cyclic Preferences

Authors: Cseh, Ágnes ; Escamocher, Guillaume ; Genç, Begüm ; Quesada, Luis

Abstract | Document (1,076 KB) | BibTeX

Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations

Authors: Dlask, Tomáš ; Werner, Tomáš ; de Givry, Simon

Abstract | Document (1,004 KB) | BibTeX

Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization

Authors: Fichte, Johannes K. ; Hecher, Markus ; Roland, Valentin

Abstract | Document (2,481 KB) | BibTeX

Complications for Computational Experiments from Modern Processors

Authors: Fichte, Johannes K. ; Hecher, Markus ; McCreesh, Ciaran ; Shahab, Anas

Abstract | Document (1,133 KB) | BibTeX

A Job Dispatcher for Large and Heterogeneous HPC Systems Running Modern Applications

Authors: Galleguillos, Cristian ; Kiziltan, Zeynep ; Soto, Ricardo

Abstract | Document (2,747 KB) | BibTeX

The Dungeon Variations Problem Using Constraint Programming

Authors: Glorian, Gaël ; Debesson, Adrien ; Yvon-Paliot, Sylvain ; Simon, Laurent

Abstract | Document (2,690 KB) | BibTeX

Refined Core Relaxation for Core-Guided MaxSAT Solving

Authors: Ihalainen, Hannes ; Berg, Jeremias ; Järvisalo, Matti

Abstract | Document (916 KB) | BibTeX

A Linear Time Algorithm for the k-Cutset Constraint

Authors: Isoart, Nicolas ; Régin, Jean-Charles

Abstract | Document (1,304 KB) | BibTeX

A k-Opt Based Constraint for the TSP

Authors: Isoart, Nicolas ; Régin, Jean-Charles

Abstract | Document (727 KB) | BibTeX

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets

Authors: Janota, Mikoláš ; Morgado, António ; Fragoso Santos, José ; Manquinho, Vasco

Abstract | Document (3,121 KB) | BibTeX

Reasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms and Lower Bounds for Backdoors

Authors: Jonsson, Peter ; Lagerkvist, Victor ; Ordyniak, Sebastian

Abstract | Document (761 KB) | BibTeX

Learning TSP Requires Rethinking Generalization

Authors: Joshi, Chaitanya K. ; Cappart, Quentin ; Rousseau, Louis-Martin ; Laurent, Thomas

Abstract | Document (4,464 KB) | BibTeX

SAT Modulo Symmetries for Graph Generation

Authors: Kirchweger, Markus ; Szeider, Stefan

Abstract | Document (739 KB) | BibTeX

Counterfactual Explanations via Inverse Constraint Programming

Authors: Korikov, Anton ; Beck, J. Christopher

Abstract | Document (1,217 KB) | BibTeX

Utilizing Constraint Optimization for Industrial Machine Workload Balancing

Authors: Kovács, Benjamin ; Tassel, Pierre ; Kohlenbrein, Wolfgang ; Schrott-Kostwein, Philipp ; Gebser, Martin

Abstract | Document (864 KB) | BibTeX

Minimizing Cumulative Batch Processing Time for an Industrial Oven Scheduling Problem

Authors: Lackner, Marie-Louise ; Mrkvicka, Christoph ; Musliu, Nysret ; Walkiewicz, Daniel ; Winter, Felix

Abstract | Document (759 KB) | BibTeX

Combining Clause Learning and Branch and Bound for MaxSAT

Authors: Li, Chu-Min ; Xu, Zhenxing ; Coll, Jordi ; Manyà, Felip ; Habet, Djamal ; He, Kun

Abstract | Document (907 KB) | BibTeX

Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search

Authors: Li, Bohan ; Wang, Kai ; Wang, Yiyuan ; Cai, Shaowei

Abstract | Document (756 KB) | BibTeX

Automatic Generation of Declarative Models For Differential Cryptanalysis

Authors: Libralesso, Luc ; Delobel, François ; Lafourcade, Pascal ; Solnon, Christine

Abstract | Document (1,123 KB) | BibTeX

A Bound-Independent Pruning Technique to Speeding up Tree-Based Complete Search Algorithms for Distributed Constraint Optimization Problems

Authors: Liu, Xiangshuang ; Chen, Ziyu ; Chen, Dingding ; Gao, Junsong

Abstract | Document (2,388 KB) | BibTeX

Data Driven VRP: A Neural Network Model to Learn Hidden Preferences for VRP

Authors: Mandi, Jayanta ; Canoy, Rocsildes ; Bucarey, Víctor ; Guns, Tias

Abstract | Document (1,140 KB) | BibTeX

Statistical Comparison of Algorithm Performance Through Instance Selection

Authors: Matricon, Théo ; Anastacio, Marie ; Fijalkow, Nathanaël ; Simon, Laurent ; Hoos, Holger H.

Abstract | Document (1,051 KB) | BibTeX

Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights

Authors: Niskanen, Andreas ; Berg, Jeremias ; Järvisalo, Matti

Abstract | Document (1,423 KB) | BibTeX

Solving the Non-Crossing MAPF with CP

Authors: Peng, Xiao ; Solnon, Christine ; Simonin, Olivier

Abstract | Document (1,073 KB) | BibTeX

Positive and Negative Length-Bound Reachability Constraints

Authors: Quesada, Luis ; Brown, Kenneth N.

Abstract | Document (1,331 KB) | BibTeX

Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms

Authors: Semenov, Alexander ; Chivilikhin, Daniil ; Pavlenko, Artem ; Otpuschennikov, Ilya ; Ulyantsev, Vladimir ; Ignatiev, Alexey

Abstract | Document (1,015 KB) | BibTeX

Optimising Training for Service Delivery

Authors: Senthooran, Ilankaikone ; Le Bodic, Pierre ; Stuckey, Peter J.

Abstract | Document (640 KB) | BibTeX

Human-Centred Feasibility Restoration

Authors: Senthooran, Ilankaikone ; Klapperstueck, Matthias ; Belov, Gleb ; Czauderna, Tobias ; Leo, Kevin ; Wallace, Mark ; Wybrow, Michael ; de la Banda, Maria Garcia

Abstract | Document (1,860 KB) | BibTeX

SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features

Authors: Shati, Pouya ; Cohen, Eldan ; McIlraith, Sheila

Abstract | Document (685 KB) | BibTeX

Pseudo-Boolean Optimization by Implicit Hitting Sets

Authors: Smirnov, Pavel ; Berg, Jeremias ; Järvisalo, Matti

Abstract | Document (1,111 KB) | BibTeX

An Algorithm-Independent Measure of Progress for Linear Constraint Propagation

Authors: Sofranac, Boro ; Gleixner, Ambros ; Pokutta, Sebastian

Abstract | Document (867 KB) | BibTeX

Differential Programming via OR Methods

Authors: Sweitzer, Shannon ; Kumar, T. K. Satish

Abstract | Document (1,039 KB) | BibTeX

Learning Max-CSPs via Active Constraint Acquisition

Authors: Tsouros, Dimosthenis C. ; Stergiou, Kostas

Abstract | Document (587 KB) | BibTeX

Parallelizing a SAT-Based Product Configurator

Authors: Ullmann, Nils Merlin ; Balyo, Tomáš ; Klein, Michael

Abstract | Document (643 KB) | BibTeX

Solution Sampling with Random Table Constraints

Authors: Vavrille, Mathieu ; Truchet, Charlotte ; Prud'homme, Charles

Abstract | Document (1,083 KB) | BibTeX

Making Rigorous Linear Programming Practical for Program Analysis

Authors: Wang, Tengbin ; Chen, Liqian ; Chen, Taoqing ; Fan, Guangsheng ; Wang, Ji

Abstract | Document (2,119 KB) | BibTeX

Engineering an Efficient PB-XOR Solver

Authors: Yang, Jiong ; Meel, Kuldeep S.

Abstract | Document (1,013 KB) | BibTeX

Automated Random Testing of Numerical Constrained Types

Authors: Ziat, Ghiles ; Dien, Matthieu ; Botbol, Vincent

Abstract | Document (812 KB) | BibTeX

The Effect of Asynchronous Execution and Message Latency on Max-Sum

Authors: Zivan, Roie ; Perry, Omer ; Rachmut, Ben ; Yeoh, William

Abstract | Document (1,263 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

27th International Conference on Principles and Practice of Constraint Programming (CP 2021)