Search dblp for Publications

export results for "toc:db/conf/cp/cp2021.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cp/AhmadiTHK21,
  author       = {Saman Ahmadi and
                  Guido Tack and
                  Daniel Harabor and
                  Philip Kilby},
  editor       = {Laurent D. Michel},
  title        = {Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric Vehicles},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {11:1--11:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.11},
  doi          = {10.4230/LIPICS.CP.2021.11},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/AhmadiTHK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AnsoteguiOT21,
  author       = {Carlos Ans{\'{o}}tegui and
                  Jesus Ojeda and
                  Eduard Torres},
  editor       = {Laurent D. Michel},
  title        = {Building High Strength Mixed Covering Arrays with Constraints},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {12:1--12:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.12},
  doi          = {10.4230/LIPICS.CP.2021.12},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/AnsoteguiOT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AntuoriHHEN21,
  author       = {Valentin Antuori and
                  Emmanuel Hebrard and
                  Marie{-}Jos{\'{e}} Huguet and
                  Siham Essodaigui and
                  Alain Nguyen},
  editor       = {Laurent D. Michel},
  title        = {Combining Monte Carlo Tree Search and Depth First Search Methods for
                  a Car Manufacturing Workshop Scheduling Problem},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {14:1--14:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.14},
  doi          = {10.4230/LIPICS.CP.2021.14},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/AntuoriHHEN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AntuoriPRH21,
  author       = {Valentin Antuori and
                  Tom Portoleau and
                  Louis Rivi{\`{e}}re and
                  Emmanuel Hebrard},
  editor       = {Laurent D. Michel},
  title        = {On How Turing and Singleton Arc Consistency Broke the Enigma Code},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {13:1--13:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.13},
  doi          = {10.4230/LIPICS.CP.2021.13},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AntuoriPRH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AraujoCJ21,
  author       = {Jo{\~{a}}o Ara{\'{u}}jo and
                  Choiwah Chow and
                  Mikol{\'{a}}s Janota},
  editor       = {Laurent D. Michel},
  title        = {Filtering Isomorphic Models by Invariants (Short Paper)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {4:1--4:9},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.4},
  doi          = {10.4230/LIPICS.CP.2021.4},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/AraujoCJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ArchettiJMSS21,
  author       = {Claudia Archetti and
                  Ola Jabali and
                  Andrea Mor and
                  Alberto Simonetto and
                  M. Grazia Speranza},
  editor       = {Laurent D. Michel},
  title        = {The Bi-Objective Long-Haul Transportation Problem on a Road Network
                  (Invited Talk)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {1:1--1:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.1},
  doi          = {10.4230/LIPICS.CP.2021.1},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ArchettiJMSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ArchibaldBMS21,
  author       = {Blair Archibald and
                  Kyle Burns and
                  Ciaran McCreesh and
                  Michele Sevegnani},
  editor       = {Laurent D. Michel},
  title        = {Practical Bigraphs via Subgraph Isomorphism},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {15:1--15:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.15},
  doi          = {10.4230/LIPICS.CP.2021.15},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/ArchibaldBMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ArmstrongGOS21,
  author       = {Eddie Armstrong and
                  Michele Garraffa and
                  Barry O'Sullivan and
                  Helmut Simonis},
  editor       = {Laurent D. Michel},
  title        = {The Hybrid Flexible Flowshop with Transportation Times},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {16:1--16:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.16},
  doi          = {10.4230/LIPICS.CP.2021.16},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ArmstrongGOS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BaiCG21,
  author       = {Yiwei Bai and
                  Di Chen and
                  Carla P. Gomes},
  editor       = {Laurent D. Michel},
  title        = {CLR-DRNets: Curriculum Learning with Restarts to Solve Visual Combinatorial
                  Games},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {17:1--17:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.17},
  doi          = {10.4230/LIPICS.CP.2021.17},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BaiCG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BedouheneNTJM21,
  author       = {Abderahmane Bedouhene and
                  Bertrand Neveu and
                  Gilles Trombettoni and
                  Luc Jaulin and
                  St{\'{e}}phane Le M{\'{e}}nec},
  editor       = {Laurent D. Michel},
  title        = {An Interval Constraint Programming Approach for Quasi Capture Tube
                  Validation},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {18:1--18:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.18},
  doi          = {10.4230/LIPICS.CP.2021.18},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BedouheneNTJM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CaiLZZ21,
  author       = {Shaowei Cai and
                  Chuan Luo and
                  Xindi Zhang and
                  Jian Zhang},
  editor       = {Laurent D. Michel},
  title        = {Improving Local Search for Structured {SAT} Formulas via Unit Propagation
                  Based Construct and Cut Initialization (Short Paper)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {5:1--5:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.5},
  doi          = {10.4230/LIPICS.CP.2021.5},
  timestamp    = {Wed, 20 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/CaiLZZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CarissanHPTV21,
  author       = {Yannick Carissan and
                  Denis Hagebaum{-}Reignier and
                  Nicolas Prcovic and
                  Cyril Terrioux and
                  Adrien Varet},
  editor       = {Laurent D. Michel},
  title        = {Exhaustive Generation of Benzenoid Structures Sharing Common Patterns},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {19:1--19:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.19},
  doi          = {10.4230/LIPICS.CP.2021.19},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CarissanHPTV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CherifHT21,
  author       = {Mohamed Sami Cherif and
                  Djamal Habet and
                  Cyril Terrioux},
  editor       = {Laurent D. Michel},
  title        = {Combining {VSIDS} and {CHB} Using Restarts in {SAT}},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {20:1--20:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.20},
  doi          = {10.4230/LIPICS.CP.2021.20},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/CherifHT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CooperM21,
  author       = {Martin C. Cooper and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Laurent D. Michel},
  title        = {On the Tractability of Explaining Decisions of Classifiers},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {21:1--21:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.21},
  doi          = {10.4230/LIPICS.CP.2021.21},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/CooperM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CsehEGQ21,
  author       = {{\'{A}}gnes Cseh and
                  Guillaume Escamocher and
                  Beg{\"{u}}m Gen{\c{c}} and
                  Luis Quesada},
  editor       = {Laurent D. Michel},
  title        = {A Collection of Constraint Programming Models for the Three-Dimensional
                  Stable Matching Problem with Cyclic Preferences},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {22:1--22:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.22},
  doi          = {10.4230/LIPICS.CP.2021.22},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/CsehEGQ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/DlaskWG21,
  author       = {Tom{\'{a}}s Dlask and
                  Tom{\'{a}}s Werner and
                  Simon de Givry},
  editor       = {Laurent D. Michel},
  title        = {Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {23:1--23:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.23},
  doi          = {10.4230/LIPICS.CP.2021.23},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/DlaskWG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/FichteHMS21,
  author       = {Johannes Klaus Fichte and
                  Markus Hecher and
                  Ciaran McCreesh and
                  Anas Shahab},
  editor       = {Laurent D. Michel},
  title        = {Complications for Computational Experiments from Modern Processors},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {25:1--25:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.25},
  doi          = {10.4230/LIPICS.CP.2021.25},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/FichteHMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/FichteHR21,
  author       = {Johannes Klaus Fichte and
                  Markus Hecher and
                  Valentin Roland},
  editor       = {Laurent D. Michel},
  title        = {Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient
                  Hardware Utilization},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {24:1--24:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.24},
  doi          = {10.4230/LIPICS.CP.2021.24},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/FichteHR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Fioretto21,
  author       = {Ferdinando Fioretto},
  editor       = {Laurent D. Michel},
  title        = {Constrained-Based Differential Privacy (Invited Talk)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {2:1--2:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.2},
  doi          = {10.4230/LIPICS.CP.2021.2},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Fioretto21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GalleguillosKS21,
  author       = {Cristian Galleguillos and
                  Zeynep Kiziltan and
                  Ricardo Soto},
  editor       = {Laurent D. Michel},
  title        = {A Job Dispatcher for Large and Heterogeneous {HPC} Systems Running
                  Modern Applications},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {26:1--26:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.26},
  doi          = {10.4230/LIPICS.CP.2021.26},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GalleguillosKS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GlorianDYS21,
  author       = {Ga{\"{e}}l Glorian and
                  Adrien Debesson and
                  Sylvain Yvon{-}Paliot and
                  Laurent Simon},
  editor       = {Laurent D. Michel},
  title        = {The Dungeon Variations Problem Using Constraint Programming},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {27:1--27:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.27},
  doi          = {10.4230/LIPICS.CP.2021.27},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GlorianDYS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/IhalainenBJ21,
  author       = {Hannes Ihalainen and
                  Jeremias Berg and
                  Matti J{\"{a}}rvisalo},
  editor       = {Laurent D. Michel},
  title        = {Refined Core Relaxation for Core-Guided MaxSAT Solving},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {28:1--28:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.28},
  doi          = {10.4230/LIPICS.CP.2021.28},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/IhalainenBJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/IserB21,
  author       = {Markus Iser and
                  Tom{\'{a}}s Balyo},
  editor       = {Laurent D. Michel},
  title        = {Unit Propagation with Stable Watches (Short Paper)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {6:1--6:8},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.6},
  doi          = {10.4230/LIPICS.CP.2021.6},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/IserB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/IsoartR21,
  author       = {Nicolas Isoart and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Laurent D. Michel},
  title        = {A Linear Time Algorithm for the k-Cutset Constraint},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {29:1--29:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.29},
  doi          = {10.4230/LIPICS.CP.2021.29},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/IsoartR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/IsoartR21a,
  author       = {Nicolas Isoart and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Laurent D. Michel},
  title        = {A k-Opt Based Constraint for the {TSP}},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {30:1--30:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.30},
  doi          = {10.4230/LIPICS.CP.2021.30},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/IsoartR21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/JanotaMSM21,
  author       = {Mikol{\'{a}}s Janota and
                  Ant{\'{o}}nio Morgado and
                  Jos{\'{e}} Fragoso Santos and
                  Vasco M. Manquinho},
  editor       = {Laurent D. Michel},
  title        = {The Seesaw Algorithm: Function Optimization Using Implicit Hitting
                  Sets},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {31:1--31:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.31},
  doi          = {10.4230/LIPICS.CP.2021.31},
  timestamp    = {Wed, 08 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/JanotaMSM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/JonssonLO21,
  author       = {Peter Jonsson and
                  Victor Lagerkvist and
                  Sebastian Ordyniak},
  editor       = {Laurent D. Michel},
  title        = {Reasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms
                  and Lower Bounds for Backdoors},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {32:1--32:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.32},
  doi          = {10.4230/LIPICS.CP.2021.32},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JonssonLO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/JoshiCRL21,
  author       = {Chaitanya K. Joshi and
                  Quentin Cappart and
                  Louis{-}Martin Rousseau and
                  Thomas Laurent},
  editor       = {Laurent D. Michel},
  title        = {Learning {TSP} Requires Rethinking Generalization},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {33:1--33:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.33},
  doi          = {10.4230/LIPICS.CP.2021.33},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/JoshiCRL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/KheireddineRB21,
  author       = {Anissa Kheireddine and
                  Etienne Renault and
                  Souheib Baarir},
  editor       = {Laurent D. Michel},
  title        = {Towards Better Heuristics for Solving Bounded Model Checking Problems
                  (Short Paper)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {7:1--7:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.7},
  doi          = {10.4230/LIPICS.CP.2021.7},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/KheireddineRB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/KirchwegerS21,
  author       = {Markus Kirchweger and
                  Stefan Szeider},
  editor       = {Laurent D. Michel},
  title        = {{SAT} Modulo Symmetries for Graph Generation},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {34:1--34:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.34},
  doi          = {10.4230/LIPICS.CP.2021.34},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KirchwegerS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/KorhonenJ21,
  author       = {Tuukka Korhonen and
                  Matti J{\"{a}}rvisalo},
  editor       = {Laurent D. Michel},
  title        = {Integrating Tree Decompositions into Decision Heuristics of Propositional
                  Model Counters (Short Paper)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {8:1--8:11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.8},
  doi          = {10.4230/LIPICS.CP.2021.8},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/KorhonenJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/KorikovB21,
  author       = {Anton Korikov and
                  J. Christopher Beck},
  editor       = {Laurent D. Michel},
  title        = {Counterfactual Explanations via Inverse Constraint Programming},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {35:1--35:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.35},
  doi          = {10.4230/LIPICS.CP.2021.35},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KorikovB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/KovacsTKSG21,
  author       = {Benjamin Kov{\'{a}}cs and
                  Pierre Tassel and
                  Wolfgang Kohlenbrein and
                  Philipp Schrott{-}Kostwein and
                  Martin Gebser},
  editor       = {Laurent D. Michel},
  title        = {Utilizing Constraint Optimization for Industrial Machine Workload
                  Balancing},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {36:1--36:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.36},
  doi          = {10.4230/LIPICS.CP.2021.36},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KovacsTKSG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LacknerMMWW21,
  author       = {Marie{-}Louise Lackner and
                  Christoph Mrkvicka and
                  Nysret Musliu and
                  Daniel Walkiewicz and
                  Felix Winter},
  editor       = {Laurent D. Michel},
  title        = {Minimizing Cumulative Batch Processing Time for an Industrial Oven
                  Scheduling Problem},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {37:1--37:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.37},
  doi          = {10.4230/LIPICS.CP.2021.37},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/LacknerMMWW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LiWWC21,
  author       = {Bohan Li and
                  Kai Wang and
                  Yiyuan Wang and
                  Shaowei Cai},
  editor       = {Laurent D. Michel},
  title        = {Improving Local Search for Minimum Weighted Connected Dominating Set
                  Problem by Inner-Layer Local Search},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {39:1--39:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.39},
  doi          = {10.4230/LIPICS.CP.2021.39},
  timestamp    = {Fri, 17 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/LiWWC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LiXCMHH21,
  author       = {Chu{-}Min Li and
                  Zhenxing Xu and
                  Jordi Coll and
                  Felip Many{\`{a}} and
                  Djamal Habet and
                  Kun He},
  editor       = {Laurent D. Michel},
  title        = {Combining Clause Learning and Branch and Bound for MaxSAT},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {38:1--38:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.38},
  doi          = {10.4230/LIPICS.CP.2021.38},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LiXCMHH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LiYL21,
  author       = {Hongbo Li and
                  Minghao Yin and
                  Zhanshan Li},
  editor       = {Laurent D. Michel},
  title        = {Failure Based Variable Ordering Heuristics for Solving CSPs (Short
                  Paper)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {9:1--9:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.9},
  doi          = {10.4230/LIPICS.CP.2021.9},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LiYL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LibralessoDLS21,
  author       = {Luc Libralesso and
                  Fran{\c{c}}ois Delobel and
                  Pascal Lafourcade and
                  Christine Solnon},
  editor       = {Laurent D. Michel},
  title        = {Automatic Generation of Declarative Models For Differential Cryptanalysis},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {40:1--40:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.40},
  doi          = {10.4230/LIPICS.CP.2021.40},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LibralessoDLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LiuCCG21,
  author       = {Xiang{-}Shuang Liu and
                  Ziyu Chen and
                  Dingding Chen and
                  Junsong Gao},
  editor       = {Laurent D. Michel},
  title        = {A Bound-Independent Pruning Technique to Speeding up Tree-Based Complete
                  Search Algorithms for Distributed Constraint Optimization Problems},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {41:1--41:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.41},
  doi          = {10.4230/LIPICS.CP.2021.41},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LiuCCG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LiuL21,
  author       = {Defeng Liu and
                  Andrea Lodi},
  editor       = {Laurent D. Michel},
  title        = {Learning in Local Branching (Invited Talk)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {3:1--3:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.3},
  doi          = {10.4230/LIPICS.CP.2021.3},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/LiuL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MandiCBG21,
  author       = {Jayanta Mandi and
                  Rocsildes Canoy and
                  V{\'{\i}}ctor Bucarey and
                  Tias Guns},
  editor       = {Laurent D. Michel},
  title        = {Data Driven {VRP:} {A} Neural Network Model to Learn Hidden Preferences
                  for {VRP}},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {42:1--42:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.42},
  doi          = {10.4230/LIPICS.CP.2021.42},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MandiCBG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MatriconAFSH21,
  author       = {Th{\'{e}}o Matricon and
                  Marie Anastacio and
                  Nathana{\"{e}}l Fijalkow and
                  Laurent Simon and
                  Holger H. Hoos},
  editor       = {Laurent D. Michel},
  title        = {Statistical Comparison of Algorithm Performance Through Instance Selection},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {43:1--43:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.43},
  doi          = {10.4230/LIPICS.CP.2021.43},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MatriconAFSH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/NiskanenBJ21,
  author       = {Andreas Niskanen and
                  Jeremias Berg and
                  Matti J{\"{a}}rvisalo},
  editor       = {Laurent D. Michel},
  title        = {Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT
                  Under Changing Weights},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {44:1--44:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.44},
  doi          = {10.4230/LIPICS.CP.2021.44},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/NiskanenBJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/PengSS21,
  author       = {Xiao Peng and
                  Christine Solnon and
                  Olivier Simonin},
  editor       = {Laurent D. Michel},
  title        = {Solving the Non-Crossing {MAPF} with {CP}},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {45:1--45:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.45},
  doi          = {10.4230/LIPICS.CP.2021.45},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PengSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/QuesadaB21,
  author       = {Luis Quesada and
                  Kenneth N. Brown},
  editor       = {Laurent D. Michel},
  title        = {Positive and Negative Length-Bound Reachability Constraints},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {46:1--46:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.46},
  doi          = {10.4230/LIPICS.CP.2021.46},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/QuesadaB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SemenovCPOUI21,
  author       = {Alexander A. Semenov and
                  Daniil Chivilikhin and
                  Artem Pavlenko and
                  Ilya V. Otpuschennikov and
                  Vladimir Ulyantsev and
                  Alexey Ignatiev},
  editor       = {Laurent D. Michel},
  title        = {Evaluating the Hardness of {SAT} Instances Using Evolutionary Optimization
                  Algorithms},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {47:1--47:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.47},
  doi          = {10.4230/LIPICS.CP.2021.47},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SemenovCPOUI21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SenthooranBS21,
  author       = {Ilankaikone Senthooran and
                  Pierre Le Bodic and
                  Peter J. Stuckey},
  editor       = {Laurent D. Michel},
  title        = {Optimising Training for Service Delivery},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {48:1--48:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.48},
  doi          = {10.4230/LIPICS.CP.2021.48},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SenthooranBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SenthooranKBCLW21,
  author       = {Ilankaikone Senthooran and
                  Matthias Klapperst{\"{u}}ck and
                  Gleb Belov and
                  Tobias Czauderna and
                  Kevin Leo and
                  Mark Wallace and
                  Michael Wybrow and
                  Maria Garcia de la Banda},
  editor       = {Laurent D. Michel},
  title        = {Human-Centred Feasibility Restoration},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {49:1--49:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.49},
  doi          = {10.4230/LIPICS.CP.2021.49},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SenthooranKBCLW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ShatiCM21,
  author       = {Pouya Shati and
                  Eldan Cohen and
                  Sheila A. McIlraith},
  editor       = {Laurent D. Michel},
  title        = {SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary
                  Features},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {50:1--50:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.50},
  doi          = {10.4230/LIPICS.CP.2021.50},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ShatiCM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Silveira21,
  author       = {Guilherme de Azevedo Silveira},
  editor       = {Laurent D. Michel},
  title        = {Generating Magical Performances with Constraint Programming (Short
                  Paper)},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {10:1--10:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.10},
  doi          = {10.4230/LIPICS.CP.2021.10},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Silveira21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SmirnovBJ21,
  author       = {Pavel Smirnov and
                  Jeremias Berg and
                  Matti J{\"{a}}rvisalo},
  editor       = {Laurent D. Michel},
  title        = {Pseudo-Boolean Optimization by Implicit Hitting Sets},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {51:1--51:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.51},
  doi          = {10.4230/LIPICS.CP.2021.51},
  timestamp    = {Thu, 04 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SmirnovBJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SofranacGP21,
  author       = {Boro Sofranac and
                  Ambros M. Gleixner and
                  Sebastian Pokutta},
  editor       = {Laurent D. Michel},
  title        = {An Algorithm-Independent Measure of Progress for Linear Constraint
                  Propagation},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {52:1--52:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.52},
  doi          = {10.4230/LIPICS.CP.2021.52},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SofranacGP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SweitzerK21,
  author       = {Shannon Sweitzer and
                  T. K. Satish Kumar},
  editor       = {Laurent D. Michel},
  title        = {Differential Programming via {OR} Methods},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {53:1--53:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.53},
  doi          = {10.4230/LIPICS.CP.2021.53},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SweitzerK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/TsourosS21,
  author       = {Dimosthenis C. Tsouros and
                  Kostas Stergiou},
  editor       = {Laurent D. Michel},
  title        = {Learning Max-CSPs via Active Constraint Acquisition},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {54:1--54:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.54},
  doi          = {10.4230/LIPICS.CP.2021.54},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/TsourosS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/UllmannBK21,
  author       = {Nils Merlin Ullmann and
                  Tom{\'{a}}s Balyo and
                  Michael Klein},
  editor       = {Laurent D. Michel},
  title        = {Parallelizing a SAT-Based Product Configurator},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {55:1--55:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.55},
  doi          = {10.4230/LIPICS.CP.2021.55},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/UllmannBK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/VavrilleTP21,
  author       = {Mathieu Vavrille and
                  Charlotte Truchet and
                  Charles Prud'homme},
  editor       = {Laurent D. Michel},
  title        = {Solution Sampling with Random Table Constraints},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {56:1--56:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.56},
  doi          = {10.4230/LIPICS.CP.2021.56},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/VavrilleTP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/WangCCFW21,
  author       = {Tengbin Wang and
                  Liqian Chen and
                  Taoqing Chen and
                  Guangsheng Fan and
                  Ji Wang},
  editor       = {Laurent D. Michel},
  title        = {Making Rigorous Linear Programming Practical for Program Analysis},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {57:1--57:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.57},
  doi          = {10.4230/LIPICS.CP.2021.57},
  timestamp    = {Sun, 26 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/WangCCFW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/YangM21,
  author       = {Jiong Yang and
                  Kuldeep S. Meel},
  editor       = {Laurent D. Michel},
  title        = {Engineering an Efficient {PB-XOR} Solver},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {58:1--58:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.58},
  doi          = {10.4230/LIPICS.CP.2021.58},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/YangM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ZiatDB21,
  author       = {Ghiles Ziat and
                  Matthieu Dien and
                  Vincent Botbol},
  editor       = {Laurent D. Michel},
  title        = {Automated Random Testing of Numerical Constrained Types},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {59:1--59:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.59},
  doi          = {10.4230/LIPICS.CP.2021.59},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ZiatDB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ZivanPRY21,
  author       = {Roie Zivan and
                  Omer Perry and
                  Ben Rachmut and
                  William Yeoh},
  editor       = {Laurent D. Michel},
  title        = {The Effect of Asynchronous Execution and Message Latency on Max-Sum},
  booktitle    = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  pages        = {60:1--60:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2021.60},
  doi          = {10.4230/LIPICS.CP.2021.60},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/ZivanPRY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cp/2021,
  editor       = {Laurent D. Michel},
  title        = {27th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2021, Montpellier, France (Virtual Conference),
                  October 25-29, 2021},
  series       = {LIPIcs},
  volume       = {210},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-211-2},
  isbn         = {978-3-95977-211-2},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.