Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cp/AkgunDMSS19,
  author       = {{\"{O}}zg{\"{u}}r Akg{\"{u}}n and
                  Nguyen Dang and
                  Ian Miguel and
                  Andr{\'{a}}s Z. Salamon and
                  Christopher Stone},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Instance Generation via Generator Instances},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_1},
  doi          = {10.1007/978-3-030-30048-7\_1},
  timestamp    = {Mon, 24 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AkgunDMSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AkshayBCSV19,
  author       = {S. Akshay and
                  Sukanya Basu and
                  Supratik Chakraborty and
                  Rangapriya Sundararajan and
                  Prasanna Venkatraman},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Functional Significance Checking in Noisy Gene Regulatory Networks},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {767--785},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_44},
  doi          = {10.1007/978-3-030-30048-7\_44},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AkshayBCSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Al-KurdiPGL19,
  author       = {Nadeem Al{-}Kurdi and
                  Benjamin Pillot and
                  Carmen Gervet and
                  Laurent Linguet},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning:
                  {A} {GIS-RO} Approach},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {729--747},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_42},
  doi          = {10.1007/978-3-030-30048-7\_42},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Al-KurdiPGL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBCDEMN19,
  author       = {Carlos Ans{\'{o}}tegui and
                  Miquel Bofill and
                  Jordi Coll and
                  Nguyen Dang and
                  Juan Luis Esteban and
                  Ian Miguel and
                  Peter Nightingale and
                  Andr{\'{a}}s Z. Salamon and
                  Josep Suy and
                  Mateu Villaret},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Automatic Detection of At-Most-One and Exactly-One Relations for Improved
                  {SAT} Encodings of Pseudo-Boolean Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {20--36},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_2},
  doi          = {10.1007/978-3-030-30048-7\_2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AnsoteguiBCDEMN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AogaNS19,
  author       = {John O. R. Aoga and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Modeling Pattern Set Mining Using Boolean Circuits},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {621--638},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_36},
  doi          = {10.1007/978-3-030-30048-7\_36},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AogaNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BettsDGHKSW19,
  author       = {John M. Betts and
                  David L. Dowe and
                  Daniel Guimarans and
                  Daniel Damir Harabor and
                  Heshan Kumarage and
                  Peter J. Stuckey and
                  Michael Wybrow},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Peak-Hour Rail Demand Shifting with Discrete Optimisation},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {748--763},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_43},
  doi          = {10.1007/978-3-030-30048-7\_43},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BettsDGHKSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BiancoLT19,
  author       = {Giovanni Lo Bianco and
                  Xavier Lorca and
                  Charlotte Truchet},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Estimating the Number of Solutions of Cardinality Constraints Through
                  {\textbackslash}texttt range and {\textbackslash}texttt roots Decompositions},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {317--332},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_19},
  doi          = {10.1007/978-3-030-30048-7\_19},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BiancoLT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BjordalFPS19,
  author       = {Gustav Bj{\"{o}}rdal and
                  Pierre Flener and
                  Justin Pearson and
                  Peter J. Stuckey},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Exploring Declarative Local-Search Neighbourhoods with Constraint
                  Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {37--53},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_3},
  doi          = {10.1007/978-3-030-30048-7\_3},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BjordalFPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CanoyG19,
  author       = {Rocsildes Canoy and
                  Tias Guns},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Vehicle Routing by Learning from Historical Solutions},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {54--70},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_4},
  doi          = {10.1007/978-3-030-30048-7\_4},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CanoyG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChakrabortySV19,
  author       = {Supratik Chakraborty and
                  Aditya A. Shrotri and
                  Moshe Y. Vardi},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {On Symbolic Approaches for Computing the Matrix Permanent},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {71--90},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_5},
  doi          = {10.1007/978-3-030-30048-7\_5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ChakrabortySV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChenJ19,
  author       = {Li{-}Cheng Chen and
                  Jie{-}Hong R. Jiang},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {A Cube Distribution Approach to {QBF} Solving and Certificate Minimization},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {529--546},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_31},
  doi          = {10.1007/978-3-030-30048-7\_31},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ChenJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CherifH19,
  author       = {Mohamed Sami Cherif and
                  Djamal Habet},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Towards the Characterization of Max-Resolution Transformations of
                  UCSs by UP-Resilience},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {91--107},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_6},
  doi          = {10.1007/978-3-030-30048-7\_6},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/CherifH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Chisca0MO19,
  author       = {Danuta Sorina Chisca and
                  Michele Lombardi and
                  Michela Milano and
                  Barry O'Sullivan},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Logic-Based Benders Decomposition for Super Solutions: An Application
                  to the Kidney Exchange Problem},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {108--125},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_7},
  doi          = {10.1007/978-3-030-30048-7\_7},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Chisca0MO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Chowdhury0Y19,
  author       = {Md. Solimul Chowdhury and
                  Martin M{\"{u}}ller and
                  Jia{-}Huai You},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Exploiting Glue Clauses to Design Effective {CDCL} Branching Heuristics},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {126--143},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_8},
  doi          = {10.1007/978-3-030-30048-7\_8},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Chowdhury0Y19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ColT19,
  author       = {Giacomo Da Col and
                  Erich Christian Teppan},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Industrial Size Job Shop Scheduling Tackled by Present Day {CP} Solvers},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {144--160},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_9},
  doi          = {10.1007/978-3-030-30048-7\_9},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ColT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ColnetM19,
  author       = {Alexis de Colnet and
                  Kuldeep S. Meel},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Dual Hashing-Based Algorithms for Discrete Integration},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {161--176},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_10},
  doi          = {10.1007/978-3-030-30048-7\_10},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ColnetM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DemirovicS19,
  author       = {Emir Demirovic and
                  Peter J. Stuckey},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Techniques Inspired by Local Search for Incomplete MaxSAT and the
                  Linear Algorithm: Varying Resolution and Solution-Guided Search},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {177--194},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_11},
  doi          = {10.1007/978-3-030-30048-7\_11},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DemirovicS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FedyukovichG19,
  author       = {Grigory Fedyukovich and
                  Aarti Gupta},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Functional Synthesis with Examples},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {547--564},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_32},
  doi          = {10.1007/978-3-030-30048-7\_32},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FedyukovichG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FichteHZ19,
  author       = {Johannes Klaus Fichte and
                  Markus Hecher and
                  Markus Zisser},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {An Improved GPU-Based {SAT} Model Counter},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {491--509},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_29},
  doi          = {10.1007/978-3-030-30048-7\_29},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FichteHZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FiorettoH19,
  author       = {Ferdinando Fioretto and
                  Pascal Van Hentenryck},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Differential Privacy of Hierarchical Census Data: An Optimization
                  Approach},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {639--655},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_37},
  doi          = {10.1007/978-3-030-30048-7\_37},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/FiorettoH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FrimodigS19,
  author       = {Sara Frimodig and
                  Christian Schulte},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Models for Radiation Therapy Patient Scheduling},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {421--437},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_25},
  doi          = {10.1007/978-3-030-30048-7\_25},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FrimodigS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GalleguillosKSB19,
  author       = {Cristian Galleguillos and
                  Zeynep Kiziltan and
                  Alina S{\^{\i}}rbu and
                  {\"{O}}zalp Babaoglu},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Constraint Programming-Based Job Dispatching for Modern {HPC} Applications},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {438--455},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_26},
  doi          = {10.1007/978-3-030-30048-7\_26},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GalleguillosKSB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GanianOS19,
  author       = {Robert Ganian and
                  Sebastian Ordyniak and
                  Stefan Szeider},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {A Join-Based Hybrid Parameter for Constraint Satisfaction},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {195--212},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_12},
  doi          = {10.1007/978-3-030-30048-7\_12},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GanianOS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GillardSD19,
  author       = {Xavier Gillard and
                  Pierre Schaus and
                  Yves Deville},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {SolverCheck: Declarative Testing of Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {565--582},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_33},
  doi          = {10.1007/978-3-030-30048-7\_33},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GillardSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GlorianLMS19,
  author       = {Gael Glorian and
                  Jean{-}Marie Lagniez and
                  Valentin Montmirail and
                  Nicolas Szczepanski},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {An Incremental SAT-Based Approach to the Graph Colouring Problem},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {213--231},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_13},
  doi          = {10.1007/978-3-030-30048-7\_13},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GlorianLMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GuerreiroTLFM19,
  author       = {Andreia P. Guerreiro and
                  Miguel Terra{-}Neves and
                  In{\^{e}}s Lynce and
                  Jos{\'{e}} Rui Figueira and
                  Vasco M. Manquinho},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {232--250},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_14},
  doi          = {10.1007/978-3-030-30048-7\_14},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GuerreiroTLFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Heule19,
  author       = {Marijn J. H. Heule},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Trimming Graphs Using Clausal Proof Optimization},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {251--267},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_15},
  doi          = {10.1007/978-3-030-30048-7\_15},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Heule19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hooker19,
  author       = {John N. Hooker},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Improved Job Sequencing Bounds from Decision Diagrams},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {268--283},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_16},
  doi          = {10.1007/978-3-030-30048-7\_16},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Hooker19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/IcarteICCMB19,
  author       = {Rodrigo Toro Icarte and
                  Le{\'{o}}n Illanes and
                  Margarita P. Castro and
                  Andr{\'{e}} A. Cir{\'{e}} and
                  Sheila A. McIlraith and
                  J. Christopher Beck},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Training Binarized Neural Networks Using {MIP} and {CP}},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {401--417},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_24},
  doi          = {10.1007/978-3-030-30048-7\_24},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/IcarteICCMB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/IsoartR19,
  author       = {Nicolas Isoart and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Integration of Structural Constraints into {TSP} Models},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {284--299},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_17},
  doi          = {10.1007/978-3-030-30048-7\_17},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/IsoartR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KaznatcheevCJ19,
  author       = {Artem Kaznatcheev and
                  David A. Cohen and
                  Peter G. Jeavons},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Representing Fitness Landscapes by Valued Constraints to Understand
                  the Complexity of Local Search},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {300--316},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_18},
  doi          = {10.1007/978-3-030-30048-7\_18},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KaznatcheevCJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KuhlemannST19,
  author       = {Stefan Kuhlemann and
                  Meinolf Sellmann and
                  Kevin Tierney},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Exploiting Counterfactuals for Scalable Stochastic Optimization},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {690--708},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_40},
  doi          = {10.1007/978-3-030-30048-7\_40},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KuhlemannST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MattenetDNS19,
  author       = {Alex Mattenet and
                  Ian Davidson and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Generic Constraint-Based Block Modeling Using Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {656--673},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_38},
  doi          = {10.1007/978-3-030-30048-7\_38},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MattenetDNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/McCreeshPP19,
  author       = {Ciaran McCreesh and
                  William Pettersson and
                  Patrick Prosser},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Understanding the Empirical Hardness of Random Optimisation Problems},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {333--349},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_20},
  doi          = {10.1007/978-3-030-30048-7\_20},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/McCreeshPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Mitchell19,
  author       = {David Mitchell},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Guarded Constraint Models Define Treewidth Preserving Reductions},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {350--365},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_21},
  doi          = {10.1007/978-3-030-30048-7\_21},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Mitchell19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MurinR19,
  author       = {Stanislav Mur{\'{\i}}n and
                  Hana Rudov{\'{a}}},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Scheduling of Mobile Robots Using Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {456--471},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_27},
  doi          = {10.1007/978-3-030-30048-7\_27},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MurinR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/OrvalhoTVMM19,
  author       = {Pedro Orvalho and
                  Miguel Terra{-}Neves and
                  Miguel Ventura and
                  Ruben Martins and
                  Vasco M. Manquinho},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Encodings for Enumeration-Based Program Synthesis},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {583--599},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_34},
  doi          = {10.1007/978-3-030-30048-7\_34},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/OrvalhoTVMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PachecoP019,
  author       = {Adriana Pacheco and
                  C{\'{e}}dric Pralet and
                  St{\'{e}}phanie Roussel},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Decomposition and Cut Generation Strategies for Solving Multi-Robot
                  Deployment Problems},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {472--487},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_28},
  doi          = {10.1007/978-3-030-30048-7\_28},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PachecoP019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SayST19,
  author       = {Buser Say and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Reward Potentials for Planning with Learned Neural Network Transition
                  Models},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {674--689},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_39},
  doi          = {10.1007/978-3-030-30048-7\_39},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SayST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchiendorferR19,
  author       = {Alexander Schiendorfer and
                  Wolfgang Reif},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Reducing Bias in Preference Aggregation for Multiagent Soft Constraint
                  Problems},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {510--526},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_30},
  doi          = {10.1007/978-3-030-30048-7\_30},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SchiendorferR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SpracklenDAM19,
  author       = {Patrick Spracklen and
                  Nguyen Dang and
                  {\"{O}}zg{\"{u}}r Akg{\"{u}}n and
                  Ian Miguel},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Automatic Streamlining for Constrained Optimisation},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {366--383},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_22},
  doi          = {10.1007/978-3-030-30048-7\_22},
  timestamp    = {Mon, 24 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SpracklenDAM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/StuckeyT19,
  author       = {Peter J. Stuckey and
                  Guido Tack},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Compiling Conditional Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {384--400},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_23},
  doi          = {10.1007/978-3-030-30048-7\_23},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/StuckeyT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Tsouros0B19,
  author       = {Dimosthenis C. Tsouros and
                  Kostas Stergiou and
                  Christian Bessiere},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Structure-Driven Multiple Constraint Acquisition},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {709--725},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_41},
  doi          = {10.1007/978-3-030-30048-7\_41},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Tsouros0B19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/YangFG19,
  author       = {Weikun Yang and
                  Grigory Fedyukovich and
                  Aarti Gupta},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Lemma Synthesis for Automating Induction over Algebraic Data Types},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {600--617},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_35},
  doi          = {10.1007/978-3-030-30048-7\_35},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/YangFG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2019,
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7},
  doi          = {10.1007/978-3-030-30048-7},
  isbn         = {978-3-030-30047-0},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics