Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cp/AbioS14,
  author       = {Ignasi Ab{\'{\i}}o and
                  Peter J. Stuckey},
  editor       = {Barry O'Sullivan},
  title        = {Encoding Linear Constraints into {SAT}},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {75--91},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_9},
  doi          = {10.1007/978-3-319-10428-7\_9},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AbioS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AbrameH14,
  author       = {Andr{\'{e}} Abram{\'{e}} and
                  Djamal Habet},
  editor       = {Barry O'Sullivan},
  title        = {Efficient Application of Max-SAT Resolution on Inconsistent Subsets},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_10},
  doi          = {10.1007/978-3-319-10428-7\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AbrameH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AlesioNBG14,
  author       = {Stefano {Di Alesio} and
                  Shiva Nejati and
                  Lionel C. Briand and
                  Arnaud Gotlieb},
  editor       = {Barry O'Sullivan},
  title        = {Worst-Case Scheduling of Software Tasks - {A} Constraint Optimization
                  Model to Support Performance Testing},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {813--830},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_58},
  doi          = {10.1007/978-3-319-10428-7\_58},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AlesioNBG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AmadiniS14,
  author       = {Roberto Amadini and
                  Peter J. Stuckey},
  editor       = {Barry O'Sullivan},
  title        = {Sequential Time Splitting and Bounds Communication for a Portfolio
                  of Optimization Solvers},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {108--124},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_11},
  doi          = {10.1007/978-3-319-10428-7\_11},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AmadiniS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AudemardLMGP14,
  author       = {Gilles Audemard and
                  Christophe Lecoutre and
                  Mouny Samy Modeliar and
                  Gilles Goncalves and
                  Daniel Cosmin Porumbel},
  editor       = {Barry O'Sullivan},
  title        = {Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism
                  Problem},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {125--141},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_12},
  doi          = {10.1007/978-3-319-10428-7\_12},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AudemardLMGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BartoliniBBLM14,
  author       = {Andrea Bartolini and
                  Andrea Borghesi and
                  Thomas Bridi and
                  Michele Lombardi and
                  Michela Milano},
  editor       = {Barry O'Sullivan},
  title        = {Proactive Workload Dispatching on the {EURORA} Supercomputer},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {765--780},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_55},
  doi          = {10.1007/978-3-319-10428-7\_55},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BartoliniBBLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BeldiceanuCFRP14,
  author       = {Nicolas Beldiceanu and
                  Mats Carlsson and
                  Pierre Flener and
                  Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
                  Justin Pearson},
  editor       = {Barry O'Sullivan},
  title        = {Linking Prefixes and Suffixes for Constraints Encoded Using Automata
                  with Accumulators},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {142--157},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_13},
  doi          = {10.1007/978-3-319-10428-7\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BeldiceanuCFRP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BergmanCHH14,
  author       = {David Bergman and
                  Andr{\'{e}} A. Cir{\'{e}} and
                  Willem Jan van Hoeve and
                  John N. Hooker},
  editor       = {Barry O'Sullivan},
  title        = {Optimization Bounds from Binary Decision Diagrams - (Extended Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {903--907},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_64},
  doi          = {10.1007/978-3-319-10428-7\_64},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BergmanCHH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Berkholz14,
  author       = {Christoph Berkholz},
  editor       = {Barry O'Sullivan},
  title        = {The Propagation Depth of Local Consistency},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {158--173},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_14},
  doi          = {10.1007/978-3-319-10428-7\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Berkholz14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BessiereHKKPQW14,
  author       = {Christian Bessiere and
                  Emmanuel Hebrard and
                  George Katsirelos and
                  Zeynep Kiziltan and
                  {\'{E}}milie Picard{-}Cantin and
                  Claude{-}Guy Quimper and
                  Toby Walsh},
  editor       = {Barry O'Sullivan},
  title        = {The Balance Constraint Family},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {174--189},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_15},
  doi          = {10.1007/978-3-319-10428-7\_15},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BessiereHKKPQW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BletNS14,
  author       = {Lo{\"{\i}}c Blet and
                  Samba Ndojh Ndiaye and
                  Christine Solnon},
  editor       = {Barry O'Sullivan},
  title        = {Experimental Comparison of {BTD} and Intelligent Backtracking: Towards
                  an Automatic Per-instance Algorithm Selector},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {190--206},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_16},
  doi          = {10.1007/978-3-319-10428-7\_16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BletNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BofillBV14,
  author       = {Miquel Bofill and
                  D{\'{\i}}dac Busquets and
                  Mateu Villaret},
  editor       = {Barry O'Sullivan},
  title        = {Reformulation Based MaxSAT Robustness - (Extended Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {908--912},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_65},
  doi          = {10.1007/978-3-319-10428-7\_65},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BofillBV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BofillEGPSV14,
  author       = {Miquel Bofill and
                  Joan Espasa and
                  Marc Garcia and
                  Miquel Palah{\'{\i}} and
                  Josep Suy and
                  Mateu Villaret},
  editor       = {Barry O'Sullivan},
  title        = {Scheduling {B2B} Meetings},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {781--796},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_56},
  doi          = {10.1007/978-3-319-10428-7\_56},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BofillEGPSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BofillPSV14,
  author       = {Miquel Bofill and
                  Miquel Palah{\'{\i}} and
                  Josep Suy and
                  Mateu Villaret},
  editor       = {Barry O'Sullivan},
  title        = {Solving Intensional Weighted CSPs by Incremental Optimization with
                  BDDs},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {207--223},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_17},
  doi          = {10.1007/978-3-319-10428-7\_17},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BofillPSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BrasGS14,
  author       = {Ronan Le Bras and
                  Carla P. Gomes and
                  Bart Selman},
  editor       = {Barry O'Sullivan},
  title        = {On the Erd{\H{o}}s Discrepancy Problem},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {440--448},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_33},
  doi          = {10.1007/978-3-319-10428-7\_33},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BrasGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CarbonnelCH14,
  author       = {Cl{\'{e}}ment Carbonnel and
                  Martin C. Cooper and
                  Emmanuel Hebrard},
  editor       = {Barry O'Sullivan},
  title        = {On Backdoors to Tractable Constraint Languages},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {224--239},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_18},
  doi          = {10.1007/978-3-319-10428-7\_18},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CarbonnelCH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CarvalhoCB14,
  author       = {Elsa Carvalho and
                  Jorge Cruz and
                  Pedro Barahona},
  editor       = {Barry O'Sullivan},
  title        = {Probabilistic Constraints for Nonlinear Inverse Problems - (Extended
                  Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {913--917},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_66},
  doi          = {10.1007/978-3-319-10428-7\_66},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CarvalhoCB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ChuS14,
  author       = {Geoffrey Chu and
                  Peter J. Stuckey},
  editor       = {Barry O'Sullivan},
  title        = {Nested Constraint Programs},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {240--255},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_19},
  doi          = {10.1007/978-3-319-10428-7\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ChuS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CireH14,
  author       = {Andr{\'{e}} A. Cir{\'{e}} and
                  Willem{-}Jan van Hoeve},
  editor       = {Barry O'Sullivan},
  title        = {Multivalued Decision Diagrams for Sequencing Problems - (Extended
                  Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {918--922},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_67},
  doi          = {10.1007/978-3-319-10428-7\_67},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CireH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ClimentWSB14,
  author       = {Laura Climent and
                  Richard J. Wallace and
                  Miguel A. Salido and
                  Federico Barber},
  editor       = {Barry O'Sullivan},
  title        = {Robustness and Stability in Constraint Programming under Dynamism
                  and Uncertainty - (Extended Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {923--927},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_68},
  doi          = {10.1007/978-3-319-10428-7\_68},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/ClimentWSB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Cooper14,
  author       = {Martin C. Cooper},
  editor       = {Barry O'Sullivan},
  title        = {Beyond Consistency and Substitutability},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {256--271},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_20},
  doi          = {10.1007/978-3-319-10428-7\_20},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Cooper14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CooperMR14,
  author       = {Martin C. Cooper and
                  Frederic Maris and
                  Pierre R{\'{e}}gnier},
  editor       = {Barry O'Sullivan},
  title        = {Monotone Temporal Planning: Tractability, Extensions and Applications
                  - (Extended Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {928--932},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_69},
  doi          = {10.1007/978-3-319-10428-7\_69},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CooperMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CooperMTZ14,
  author       = {Martin C. Cooper and
                  Achref El Mouelhi and
                  Cyril Terrioux and
                  Bruno Zanuttini},
  editor       = {Barry O'Sullivan},
  title        = {On Broken Triangles},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {9--24},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_5},
  doi          = {10.1007/978-3-319-10428-7\_5},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CooperMTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/DerrienP14,
  author       = {Alban Derrien and
                  Thierry Petit},
  editor       = {Barry O'Sullivan},
  title        = {A New Characterization of Relevant Intervals for Energetic Reasoning},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {289--297},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_22},
  doi          = {10.1007/978-3-319-10428-7\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DerrienP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/DerrienPZ14,
  author       = {Alban Derrien and
                  Thierry Petit and
                  St{\'{e}}phane Zampelli},
  editor       = {Barry O'Sullivan},
  title        = {A Declarative Paradigm for Robust Cumulative Scheduling},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {298--306},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_23},
  doi          = {10.1007/978-3-319-10428-7\_23},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DerrienPZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/FiorettoLYPS14,
  author       = {Ferdinando Fioretto and
                  Tiep Le and
                  William Yeoh and
                  Enrico Pontelli and
                  Tran Cao Son},
  editor       = {Barry O'Sullivan},
  title        = {Improving {DPOP} with Branch Consistency for Solving Distributed Constraint
                  Optimization Problems},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {307--323},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_24},
  doi          = {10.1007/978-3-319-10428-7\_24},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/FiorettoLYPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/FontaineMH14,
  author       = {Daniel Fontaine and
                  Laurent D. Michel and
                  Pascal Van Hentenryck},
  editor       = {Barry O'Sullivan},
  title        = {Constraint-Based Lagrangian Relaxation},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {324--339},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_25},
  doi          = {10.1007/978-3-319-10428-7\_25},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FontaineMH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Fox14,
  author       = {Maria Fox},
  editor       = {Barry O'Sullivan},
  title        = {A Modular Architecture for Hybrid Planning with Theories},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_1},
  doi          = {10.1007/978-3-319-10428-7\_1},
  timestamp    = {Tue, 02 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Fox14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/FrancisS14,
  author       = {Kathryn Francis and
                  Peter J. Stuckey},
  editor       = {Barry O'Sullivan},
  title        = {Loop Untangling},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {340--355},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_26},
  doi          = {10.1007/978-3-319-10428-7\_26},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FrancisS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GaySS14,
  author       = {Steven Gay and
                  Pierre Schaus and
                  Vivian De Smedt},
  editor       = {Barry O'Sullivan},
  title        = {Continuous Casting Scheduling with Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {831--845},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_59},
  doi          = {10.1007/978-3-319-10428-7\_59},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GaySS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GentHJKMNN14,
  author       = {Ian P. Gent and
                  Bilal Syed Hussain and
                  Christopher Jefferson and
                  Lars Kotthoff and
                  Ian Miguel and
                  Glenna F. Nightingale and
                  Peter Nightingale},
  editor       = {Barry O'Sullivan},
  title        = {Discriminating Instance Generation for Automated Constraint Model
                  Selection},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {356--365},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_27},
  doi          = {10.1007/978-3-319-10428-7\_27},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GentHJKMNN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GivryLLS14,
  author       = {Simon de Givry and
                  Jimmy Ho{-}Man Lee and
                  Ka Lun Leung and
                  Yu Wai Shum},
  editor       = {Barry O'Sullivan},
  title        = {Solving a Judge Assignment Problem Using Conjunctions of Global Cost
                  Functions},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {797--812},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_57},
  doi          = {10.1007/978-3-319-10428-7\_57},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GivryLLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GrandiLMR14,
  author       = {Umberto Grandi and
                  Hang Luo and
                  Nicolas Maudet and
                  Francesca Rossi},
  editor       = {Barry O'Sullivan},
  title        = {Aggregating CP-nets with Unfeasible Outcomes},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {366--381},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_28},
  doi          = {10.1007/978-3-319-10428-7\_28},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GrandiLMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/HaanKS14,
  author       = {Ronald de Haan and
                  Iyad A. Kanj and
                  Stefan Szeider},
  editor       = {Barry O'Sullivan},
  title        = {Subexponential Time Complexity of {CSP} with Global Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {272--288},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_21},
  doi          = {10.1007/978-3-319-10428-7\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HaanKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/HentenryckM14,
  author       = {Pascal Van Hentenryck and
                  Laurent D. Michel},
  editor       = {Barry O'Sullivan},
  title        = {Domain Views for Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {705--720},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_51},
  doi          = {10.1007/978-3-319-10428-7\_51},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HentenryckM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/HoundjiSWD14,
  author       = {Vinas{\'{e}}tan Ratheil Houndji and
                  Pierre Schaus and
                  Laurence A. Wolsey and
                  Yves Deville},
  editor       = {Barry O'Sullivan},
  title        = {The StockingCost Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {382--397},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_29},
  doi          = {10.1007/978-3-319-10428-7\_29},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HoundjiSWD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/IshiiYS14,
  author       = {Daisuke Ishii and
                  Kazuki Yoshizoe and
                  Toyotaro Suzumura},
  editor       = {Barry O'Sullivan},
  title        = {Scalable Parallel Numerical {CSP} Solver},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {398--406},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_30},
  doi          = {10.1007/978-3-319-10428-7\_30},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/IshiiYS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/JegouT14,
  author       = {Philippe J{\'{e}}gou and
                  Cyril Terrioux},
  editor       = {Barry O'Sullivan},
  title        = {Tree-Decompositions with Connected Clusters for Solving Constraint
                  Networks},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {407--423},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_31},
  doi          = {10.1007/978-3-319-10428-7\_31},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JegouT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/KuPB14,
  author       = {Wen{-}Yang Ku and
                  Thiago Pinheiro and
                  J. Christopher Beck},
  editor       = {Barry O'Sullivan},
  title        = {{CIP} and {MIQP} Models for the Load Balancing Nurse-to-Patient Assignment
                  Problem},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {424--439},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_32},
  doi          = {10.1007/978-3-319-10428-7\_32},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KuPB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LeeL14,
  author       = {Jasper C. H. Lee and
                  Jimmy H. M. Lee},
  editor       = {Barry O'Sullivan},
  title        = {Towards Practical Infinite Stream Constraint Programming: Applications
                  and Implementation},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {449--464},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_34},
  doi          = {10.1007/978-3-319-10428-7\_34},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LeeL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LeeZ14,
  author       = {Jimmy H. M. Lee and
                  Zichen Zhu},
  editor       = {Barry O'Sullivan},
  title        = {An Increasing-Nogoods Global Constraint for Symmetry Breaking During
                  Search},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {465--480},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_35},
  doi          = {10.1007/978-3-319-10428-7\_35},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LeeZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LelisOD14,
  author       = {Levi H. S. Lelis and
                  Lars Otten and
                  Rina Dechter},
  editor       = {Barry O'Sullivan},
  title        = {Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical
                  Models},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {481--496},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_36},
  doi          = {10.1007/978-3-319-10428-7\_36},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LelisOD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LiH14,
  author       = {Shuo Li and
                  Ahmed Hemani},
  editor       = {Barry O'Sullivan},
  title        = {Case Study: Constraint Programming in a System Level Synthesis Framework},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {846--861},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_60},
  doi          = {10.1007/978-3-319-10428-7\_60},
  timestamp    = {Fri, 24 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LiH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LikitvivatanavongXY14,
  author       = {Chavalit Likitvivatanavong and
                  Wei Xia and
                  Roland H. C. Yap},
  editor       = {Barry O'Sullivan},
  title        = {Higher-Order Consistencies through {GAC} on Factor Variables},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {497--513},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_37},
  doi          = {10.1007/978-3-319-10428-7\_37},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LikitvivatanavongXY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LonsingE14,
  author       = {Florian Lonsing and
                  Uwe Egly},
  editor       = {Barry O'Sullivan},
  title        = {Incremental {QBF} Solving},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {514--530},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_38},
  doi          = {10.1007/978-3-319-10428-7\_38},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LonsingE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MartinsJML14,
  author       = {Ruben Martins and
                  Saurabh Joshi and
                  Vasco M. Manquinho and
                  In{\^{e}}s Lynce},
  editor       = {Barry O'Sullivan},
  title        = {Incremental Cardinality Constraints for MaxSAT},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {531--548},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_39},
  doi          = {10.1007/978-3-319-10428-7\_39},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MartinsJML14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/McCreeshP14,
  author       = {Ciaran McCreesh and
                  Patrick Prosser},
  editor       = {Barry O'Sullivan},
  title        = {Reducing the Branching in a Branch and Bound Algorithm for the Maximum
                  Clique Problem},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {549--563},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_40},
  doi          = {10.1007/978-3-319-10428-7\_40},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/McCreeshP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MorgadoDM14,
  author       = {Ant{\'{o}}nio Morgado and
                  Carmine Dodaro and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Barry O'Sullivan},
  title        = {Core-Guided MaxSAT with Soft Cardinality Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {564--573},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_41},
  doi          = {10.1007/978-3-319-10428-7\_41},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/MorgadoDM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MossigeGM14,
  author       = {Morten Mossige and
                  Arnaud Gotlieb and
                  Hein Meling},
  editor       = {Barry O'Sullivan},
  title        = {Using {CP} in Automatic Test Generation for {ABB} Robotics' Paint
                  Control System},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {25--41},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_6},
  doi          = {10.1007/978-3-319-10428-7\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MossigeGM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/NguyenL14,
  author       = {Thi{-}Van{-}Anh Nguyen and
                  Arnaud Lallouet},
  editor       = {Barry O'Sullivan},
  title        = {A Complete Solver for Constraint Games},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {58--74},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_8},
  doi          = {10.1007/978-3-319-10428-7\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/NguyenL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Nieuwenhuis14,
  author       = {Robert Nieuwenhuis},
  editor       = {Barry O'Sullivan},
  title        = {The IntSat Method for Integer Linear Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {574--589},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_42},
  doi          = {10.1007/978-3-319-10428-7\_42},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Nieuwenhuis14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/NightingaleAGJM14,
  author       = {Peter Nightingale and
                  {\"{O}}zg{\"{u}}r Akg{\"{u}}n and
                  Ian P. Gent and
                  Christopher Jefferson and
                  Ian Miguel},
  editor       = {Barry O'Sullivan},
  title        = {Automatically Improving Constraint Models in Savile Row through Associative-Commutative
                  Common Subexpression Elimination},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {590--605},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_43},
  doi          = {10.1007/978-3-319-10428-7\_43},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/NightingaleAGJM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/OttenD14,
  author       = {Lars Otten and
                  Rina Dechter},
  editor       = {Barry O'Sullivan},
  title        = {Anytime {AND/OR} Depth-First Search for Combinatorial Optimization
                  - (Extended Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {933--937},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_70},
  doi          = {10.1007/978-3-319-10428-7\_70},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/OttenD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/OztokD14,
  author       = {Umut Oztok and
                  Adnan Darwiche},
  editor       = {Barry O'Sullivan},
  title        = {On Compiling {CNF} into Decision-DNNF},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {42--57},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_7},
  doi          = {10.1007/978-3-319-10428-7\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/OztokD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/PelleauRLZD14,
  author       = {Marie Pelleau and
                  Louis{-}Martin Rousseau and
                  Pierre L'Ecuyer and
                  Walid Zegal and
                  Louis Delorme},
  editor       = {Barry O'Sullivan},
  title        = {Scheduling Agents Using Forecast Call Arrivals at Hydro-Qu{\'{e}}bec's
                  Call Centers},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {862--869},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_61},
  doi          = {10.1007/978-3-319-10428-7\_61},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PelleauRLZD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/PerezR14,
  author       = {Guillaume Perez and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Barry O'Sullivan},
  title        = {Improving {GAC-4} for Table and {MDD} Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {606--621},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_44},
  doi          = {10.1007/978-3-319-10428-7\_44},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PerezR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/PraletL14,
  author       = {C{\'{e}}dric Pralet and
                  Charles Lesire},
  editor       = {Barry O'Sullivan},
  title        = {Deployment of Mobile Wireless Sensor Networks for Crisis Management:
                  {A} Constraint-Based Local Search Approach},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {870--885},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_62},
  doi          = {10.1007/978-3-319-10428-7\_62},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PraletL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Prosser14,
  author       = {Patrick Prosser},
  editor       = {Barry O'Sullivan},
  title        = {Teaching Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {3},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_2},
  doi          = {10.1007/978-3-319-10428-7\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Prosser14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ReginRM14,
  author       = {Jean{-}Charles R{\'{e}}gin and
                  Mohamed Rezgui and
                  Arnaud Malapert},
  editor       = {Barry O'Sullivan},
  title        = {Improvement of the Embarrassingly Parallel Search for Data Centers},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {622--635},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_45},
  doi          = {10.1007/978-3-319-10428-7\_45},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ReginRM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/RendlTS14,
  author       = {Andrea Rendl and
                  Guido Tack and
                  Peter J. Stuckey},
  editor       = {Barry O'Sullivan},
  title        = {Stochastic MiniZinc},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {636--645},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_46},
  doi          = {10.1007/978-3-319-10428-7\_46},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/RendlTS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/RollonL14,
  author       = {Emma Rollon and
                  Javier Larrosa},
  editor       = {Barry O'Sullivan},
  title        = {Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint
                  Optimization},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {646--654},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_47},
  doi          = {10.1007/978-3-319-10428-7\_47},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/RollonL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Rousseau14,
  author       = {Louis{-}Martin Rousseau},
  editor       = {Barry O'Sullivan},
  title        = {One Problem, Two Structures, Six Solvers, and Ten Years of Personnel
                  Scheduling},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {4--5},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_3},
  doi          = {10.1007/978-3-319-10428-7\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Rousseau14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SabharwalS14,
  author       = {Ashish Sabharwal and
                  Horst Samulowitz},
  editor       = {Barry O'Sullivan},
  title        = {Insights into Parallelism with Intensive Knowledge Sharing},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {655--671},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_48},
  doi          = {10.1007/978-3-319-10428-7\_48},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SabharwalS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SalasCG14,
  author       = {Ignacio Salas and
                  Gilles Chabert and
                  Alexandre Goldsztejn},
  editor       = {Barry O'Sullivan},
  title        = {The Non-overlapping Constraint between Objects Described by Non-linear
                  Inequalities},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {672--687},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_49},
  doi          = {10.1007/978-3-319-10428-7\_49},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SalasCG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Saraswat14,
  author       = {Vijay A. Saraswat},
  editor       = {Barry O'Sullivan},
  title        = {Concurrent Constraint Programming Research Programmes - Redux},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {6--8},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_4},
  doi          = {10.1007/978-3-319-10428-7\_4},
  timestamp    = {Tue, 23 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Saraswat14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SchneiderWCB14,
  author       = {Anthony Schneider and
                  Robert J. Woodward and
                  Berthe Y. Choueiry and
                  Christian Bessiere},
  editor       = {Barry O'Sullivan},
  title        = {Improving Relational Consistency Algorithms Using Dynamic Relation
                  Partitioning},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {688--704},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_50},
  doi          = {10.1007/978-3-319-10428-7\_50},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SchneiderWCB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SchulteT14,
  author       = {Christian Schulte and
                  Guido Tack},
  editor       = {Barry O'Sullivan},
  title        = {View-Based Propagator Derivation - (Extended Abstract)},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {938--942},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_71},
  doi          = {10.1007/978-3-319-10428-7\_71},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SchulteT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Stojadinovic14,
  author       = {Mirko Stojadinovic},
  editor       = {Barry O'Sullivan},
  title        = {Air Traffic Controller Shift Scheduling by Reduction to CSP, {SAT}
                  and SAT-Related Problems},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {886--902},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_63},
  doi          = {10.1007/978-3-319-10428-7\_63},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Stojadinovic14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/WahbiB14,
  author       = {Mohamed Wahbi and
                  Kenneth N. Brown},
  editor       = {Barry O'Sullivan},
  title        = {Global Constraints in Distributed {CSP:} Concurrent {GAC} and Explanations
                  in {ABT}},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {721--737},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_52},
  doi          = {10.1007/978-3-319-10428-7\_52},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/WahbiB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/WahbiB14a,
  author       = {Mohamed Wahbi and
                  Kenneth N. Brown},
  editor       = {Barry O'Sullivan},
  title        = {The Impact of Wireless Communication on Distributed Constraint Satisfaction},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {738--754},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_53},
  doi          = {10.1007/978-3-319-10428-7\_53},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/WahbiB14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/WoodwardSCB14,
  author       = {Robert J. Woodward and
                  Anthony Schneider and
                  Berthe Y. Choueiry and
                  Christian Bessiere},
  editor       = {Barry O'Sullivan},
  title        = {Adaptive Parameterized Consistency for Non-binary CSPs by Counting
                  Supports},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {755--764},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_54},
  doi          = {10.1007/978-3-319-10428-7\_54},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/WoodwardSCB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cp/2014,
  editor       = {Barry O'Sullivan},
  title        = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7},
  doi          = {10.1007/978-3-319-10428-7},
  isbn         = {978-3-319-10427-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/2014.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.