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
  • Ahmadi, Saman
  • Anastacio, Marie
  • Ansótegui, Carlos
  • Antuori, Valentin
  • Araújo, João
  • Archetti, Claudia
  • Archibald, Blair
  • Armstrong, Eddie
  • Baarir, Souheib
  • Bai, Yiwei
  • Balyo, Tomáš
  • Beck, J. Christopher
  • Bedouhene, Abderahmane
  • Belov, Gleb
  • Berg, Jeremias
  • Botbol, Vincent
  • Brown, Kenneth N.
  • Bucarey, Víctor
  • Burns, Kyle
  • Cai, Shaowei
  • Canoy, Rocsildes
  • Cappart, Quentin
  • Carissan, Yannick
  • Chen, Di
  • Chen, Dingding
  • Chen, Liqian
  • Chen, Taoqing
  • Chen, Ziyu
  • Cherif, Mohamed Sami
  • Chivilikhin, Daniil
  • Chow, Choiwah
  • Cohen, Eldan
  • Coll, Jordi
  • Cooper, Martin C.
  • Cseh, Ágnes
  • Czauderna, Tobias
  • de Azevedo Silveira, Guilherme
  • Debesson, Adrien
  • de Givry, Simon
  • de la Banda, Maria Garcia
  • Delobel, François
  • Dien, Matthieu
  • Dlask, Tomáš
  • Escamocher, Guillaume
  • Essodaigui, Siham
  • Fan, Guangsheng
  • Fichte, Johannes K.
  • Fijalkow, Nathanaël
  • Fioretto, Ferdinando
  • Fragoso Santos, José
  • Galleguillos, Cristian
  • Gao, Junsong
  • Garraffa, Michele
  • Gebser, Martin
  • Genç, Begüm
  • Gleixner, Ambros
  • Glorian, Gaël
  • Gomes, Carla P.
  • Guns, Tias
  • Habet, Djamal
  • Hagebaum-Reignier, Denis
  • Harabor, Daniel
  • Hebrard, Emmanuel
  • Hecher, Markus
  • He, Kun
  • Hoos, Holger H.
  • Huguet, Marie-José
  • Ignatiev, Alexey
  • Ihalainen, Hannes
  • Iser, Markus
  • Isoart, Nicolas
  • Jabali, Ola
  • Janota, Mikoláš
  • Järvisalo, Matti
  • Jaulin, Luc
  • Jonsson, Peter
  • Joshi, Chaitanya K.
  • Kheireddine, Anissa
  • Kilby, Philip
  • Kirchweger, Markus
  • Kiziltan, Zeynep
  • Klapperstueck, Matthias
  • Klein, Michael
  • Kohlenbrein, Wolfgang
  • Korhonen, Tuukka
  • Korikov, Anton
  • Kovács, Benjamin
  • Kumar, T. K. Satish
  • Lackner, Marie-Louise
  • Lafourcade, Pascal
  • Lagerkvist, Victor
  • Laurent, Thomas
  • Le Bodic, Pierre
  • Le Menec, Stéphane
  • Leo, Kevin
  • Li, Bohan
  • Libralesso, Luc
  • Li, Chu-Min
  • Li, Hongbo
  • Liu, Defeng
  • Liu, Xiangshuang
  • Li, Zhanshan
  • Lodi, Andrea
  • Luo, Chuan
  • Mandi, Jayanta
  • Manquinho, Vasco
  • Manyà, Felip
  • Marques-Silva, João
  • Matricon, Théo
  • McCreesh, Ciaran
  • McIlraith, Sheila
  • Meel, Kuldeep S.
  • Michel, Laurent D.
  • Mor, Andrea
  • Morgado, António
  • Mrkvicka, Christoph
  • Musliu, Nysret
  • Neveu, Bertrand
  • Nguyen, Alain
  • Niskanen, Andreas
  • Ojeda, Jesús
  • Ordyniak, Sebastian
  • O'Sullivan, Barry
  • Otpuschennikov, Ilya
  • Pavlenko, Artem
  • Peng, Xiao
  • Perry, Omer
  • Pokutta, Sebastian
  • Portoleau, Tom
  • Prcovic, Nicolas
  • Prud'homme, Charles
  • Quesada, Luis
  • Rachmut, Ben
  • Régin, Jean-Charles
  • Renault, Etienne
  • Rivière, Louis
  • Roland, Valentin
  • Rousseau, Louis-Martin
  • Schrott-Kostwein, Philipp
  • Semenov, Alexander
  • Senthooran, Ilankaikone
  • Sevegnani, Michele
  • Shahab, Anas
  • Shati, Pouya
  • Simonetto, Alberto
  • Simonin, Olivier
  • Simonis, Helmut
  • Simon, Laurent
  • Smirnov, Pavel
  • Sofranac, Boro
  • Solnon, Christine
  • Soto, Ricardo
  • Speranza, M.Grazia
  • Stergiou, Kostas
  • Stuckey, Peter J.
  • Sweitzer, Shannon
  • Szeider, Stefan
  • Tack, Guido
  • Tassel, Pierre
  • Terrioux, Cyril
  • Torres, Eduard
  • Trombettoni, Gilles
  • Truchet, Charlotte
  • Tsouros, Dimosthenis C.
  • Ullmann, Nils Merlin
  • Ulyantsev, Vladimir
  • Varet, Adrien
  • Vavrille, Mathieu
  • Walkiewicz, Daniel
  • Wallace, Mark
  • Wang, Ji
  • Wang, Kai
  • Wang, Tengbin
  • Wang, Yiyuan
  • Werner, Tomáš
  • Winter, Felix
  • Wybrow, Michael
  • Xu, Zhenxing
  • Yang, Jiong
  • Yeoh, William
  • Yin, Minghao
  • Yvon-Paliot, Sylvain
  • Zhang, Jian
  • Zhang, Xindi
  • Ziat, Ghiles
  • Zivan, Roie

  •   
    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