![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/cp/cp2010.bht:"
@inproceedings{DBLP:conf/cp/0002BBGHS10, author = {Andreas Bauer and Viorica Botea and Mark Brown and Matt Gray and Daniel Harabor and John K. Slaney}, editor = {David Cohen}, title = {An Integrated Modelling, Debugging, and Visualisation Environment for {G12}}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {522--536}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_42}, doi = {10.1007/978-3-642-15396-9\_42}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/0002BBGHS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AhmadizadehDGS10, author = {Kiyan Ahmadizadeh and Bistra Dilkina and Carla P. Gomes and Ashish Sabharwal}, editor = {David Cohen}, title = {An Empirical Study of Optimization for Maximizing Diffusion in Networks}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {514--521}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_41}, doi = {10.1007/978-3-642-15396-9\_41}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AhmadizadehDGS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AlloucheGS10, author = {David Allouche and Simon de Givry and Thomas Schiex}, editor = {David Cohen}, title = {Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted {CSP}}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {53--60}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_7}, doi = {10.1007/978-3-642-15396-9\_7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AlloucheGS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ArayaTN10, author = {Ignacio Araya and Gilles Trombettoni and Bertrand Neveu}, editor = {David Cohen}, title = {Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {61--68}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_8}, doi = {10.1007/978-3-642-15396-9\_8}, timestamp = {Fri, 06 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ArayaTN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AsafERCGOM10, author = {Sigal Asaf and Haggai Eran and Yossi Richter and Daniel P. Connors and Donna L. Gresh and Julio Ortega and Michael J. Mcinnis}, editor = {David Cohen}, title = {Applying Constraint Programming to Identification and Assignment of Service Professionals}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {24--37}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_5}, doi = {10.1007/978-3-642-15396-9\_5}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AsafERCGOM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BalafoutisPSW10, author = {Thanasis Balafoutis and Anastasia Paparrizou and Kostas Stergiou and Toby Walsh}, editor = {David Cohen}, title = {Improving the Performance of maxRPC}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {69--83}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_9}, doi = {10.1007/978-3-642-15396-9\_9}, timestamp = {Tue, 08 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/BalafoutisPSW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Beck10, author = {J. Christopher Beck}, editor = {David Cohen}, title = {Checking-Up on Branch-and-Check}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {84--98}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_10}, doi = {10.1007/978-3-642-15396-9\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Beck10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BentH10, author = {Russell Bent and Pascal Van Hentenryck}, editor = {David Cohen}, title = {Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {99--113}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_11}, doi = {10.1007/978-3-642-15396-9\_11}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BentH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BessiereKNQW10, author = {Christian Bessiere and George Katsirelos and Nina Narodytska and Claude{-}Guy Quimper and Toby Walsh}, editor = {David Cohen}, title = {Decomposition of the NValue Constraint}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {114--128}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_12}, doi = {10.1007/978-3-642-15396-9\_12}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BessiereKNQW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BlomdahlFP10, author = {Karl Sundequist Blomdahl and Pierre Flener and Justin Pearson}, editor = {David Cohen}, title = {Contingency Plans for Air Traffic Management}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {643--657}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_50}, doi = {10.1007/978-3-642-15396-9\_50}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/BlomdahlFP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/CambazardO10, author = {Hadrien Cambazard and Barry O'Sullivan}, editor = {David Cohen}, title = {Propagating the Bin Packing Constraint Using Linear Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {129--136}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_13}, doi = {10.1007/978-3-642-15396-9\_13}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/CambazardO10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/CateKT10, author = {Balder ten Cate and Phokion G. Kolaitis and Wang Chiew Tan}, editor = {David Cohen}, title = {Database Constraints and Homomorphism Dualities}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {475--490}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_38}, doi = {10.1007/978-3-642-15396-9\_38}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/CateKT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChabertB10, author = {Gilles Chabert and Nicolas Beldiceanu}, editor = {David Cohen}, title = {Sweeping with Continuous Domains}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {137--151}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_14}, doi = {10.1007/978-3-642-15396-9\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChabertB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/CooperZ10, author = {Martin C. Cooper and Stanislav Zivn{\'{y}}}, editor = {David Cohen}, title = {A New Hybrid Tractable Class of Soft Constraint Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {152--166}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_15}, doi = {10.1007/978-3-642-15396-9\_15}, timestamp = {Mon, 03 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/CooperZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DaviesCB10, author = {Jessica Davies and Jeremy Cho and Fahiem Bacchus}, editor = {David Cohen}, title = {Using Learnt Clauses in maxsat}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {176--190}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_17}, doi = {10.1007/978-3-642-15396-9\_17}, timestamp = {Tue, 12 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/DaviesCB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DevilleH10, author = {Yves Deville and Pascal Van Hentenryck}, editor = {David Cohen}, title = {Domain Consistency with Forbidden Values}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {191--205}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_18}, doi = {10.1007/978-3-642-15396-9\_18}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/DevilleH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ErmonGS10, author = {Stefano Ermon and Carla P. Gomes and Bart Selman}, editor = {David Cohen}, title = {Computing the Density of States of Boolean Formulas}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {38--52}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_6}, doi = {10.1007/978-3-642-15396-9\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ErmonGS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GentJMN10, author = {Ian P. Gent and Christopher Jefferson and Ian Miguel and Peter Nightingale}, editor = {David Cohen}, title = {Generating Special-Purpose Stateless Propagators for Arbitrary Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {206--220}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_19}, doi = {10.1007/978-3-642-15396-9\_19}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GentJMN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GoldsztejnMEH10, author = {Alexandre Goldsztejn and Olivier Mullier and Damien Eveillard and Hiroshi Hosobe}, editor = {David Cohen}, title = {Including Ordinary Differential Equations Based Constraints in the Standard {CP} Framework}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {221--235}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_20}, doi = {10.1007/978-3-642-15396-9\_20}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GoldsztejnMEH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GrecoS10, author = {Gianluigi Greco and Francesco Scarcello}, editor = {David Cohen}, title = {Structural Tractability of Enumerating {CSP} Solutions}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {236--251}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_21}, doi = {10.1007/978-3-642-15396-9\_21}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GrecoS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GuoHJS10, author = {Long Guo and Youssef Hamadi and Sa{\"{\i}}d Jabbour and Lakhdar Sais}, editor = {David Cohen}, title = {Diversification and Intensification in Parallel {SAT} Solving}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {252--265}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_22}, doi = {10.1007/978-3-642-15396-9\_22}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GuoHJS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HodaHH10, author = {Samid Hoda and Willem Jan van Hoeve and John N. Hooker}, editor = {David Cohen}, title = {A Systematic Approach to MDD-Based Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {266--280}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_23}, doi = {10.1007/978-3-642-15396-9\_23}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/HodaHH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/JainOS10, author = {Siddhartha Jain and Eoin O'Mahony and Meinolf Sellmann}, editor = {David Cohen}, title = {A Complete Multi-valued {SAT} Solver}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {281--296}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_24}, doi = {10.1007/978-3-642-15396-9\_24}, timestamp = {Thu, 18 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/JainOS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/JunttilaK10, author = {Tommi A. Junttila and Petteri Kaski}, editor = {David Cohen}, title = {Exact Cover via Satisfiability: An Empirical Study}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {297--304}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_25}, doi = {10.1007/978-3-642-15396-9\_25}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/JunttilaK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KaratasOD10, author = {Ahmet Serkan Karatas and Halit Oguzt{\"{u}}z{\"{u}}n and Ali H. Dogru}, editor = {David Cohen}, title = {Global Constraints on Feature Models}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {537--551}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_43}, doi = {10.1007/978-3-642-15396-9\_43}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/KaratasOD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KatsirelosNW10, author = {George Katsirelos and Nina Narodytska and Toby Walsh}, editor = {David Cohen}, title = {On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {305--320}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_26}, doi = {10.1007/978-3-642-15396-9\_26}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KatsirelosNW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KhiariBC10, author = {Mehdi Khiari and Patrice Boizumault and Bruno Cr{\'{e}}milleux}, editor = {David Cohen}, title = {Constraint Programming for Mining n-ary Patterns}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {552--567}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_44}, doi = {10.1007/978-3-642-15396-9\_44}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KhiariBC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KotthoffMN10, author = {Lars Kotthoff and Ian Miguel and Peter Nightingale}, editor = {David Cohen}, title = {Ensemble Classification for Constraint Solver Configuration}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {321--329}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_27}, doi = {10.1007/978-3-642-15396-9\_27}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KotthoffMN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KrogtFLS10, author = {Roman van der Krogt and Jacob Feldman and James Little and David Stynes}, editor = {David Cohen}, title = {An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {568--582}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_45}, doi = {10.1007/978-3-642-15396-9\_45}, timestamp = {Tue, 28 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KrogtFLS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LazaarGL10, author = {Nadjib Lazaar and Arnaud Gotlieb and Yahia Lebbah}, editor = {David Cohen}, title = {On Testing Constraint Programs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {330--344}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_28}, doi = {10.1007/978-3-642-15396-9\_28}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LazaarGL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LesaintMOQW10, author = {David Lesaint and Deepak Mehta and Barry O'Sullivan and Luis Quesada and Nic Wilson}, editor = {David Cohen}, title = {Context-Sensitive Call Control Using Constraints and Rules}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {583--597}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_46}, doi = {10.1007/978-3-642-15396-9\_46}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/LesaintMOQW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LombardiM10, author = {Michele Lombardi and Michela Milano}, editor = {David Cohen}, title = {Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {383--397}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_32}, doi = {10.1007/978-3-642-15396-9\_32}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LombardiM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LozanoSW10, author = {Roberto Casta{\~{n}}eda Lozano and Christian Schulte and Lars Wahlberg}, editor = {David Cohen}, title = {Testing Continuous Double Auctions with a Constraint-Based Oracle}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {613--627}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_48}, doi = {10.1007/978-3-642-15396-9\_48}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/LozanoSW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Madelaine10, author = {Florent R. Madelaine}, editor = {David Cohen}, title = {On the Containment of Forbidden Patterns Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {345--359}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_29}, doi = {10.1007/978-3-642-15396-9\_29}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/Madelaine10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MarreM10, author = {Bruno Marre and Claude Michel}, editor = {David Cohen}, title = {Improving the Floating Point Addition and Subtraction Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {360--367}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_30}, doi = {10.1007/978-3-642-15396-9\_30}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/MarreM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Martin10, author = {Barnaby Martin}, editor = {David Cohen}, title = {The Lattice Structure of Sets of Surjective Hyper-Operations}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {368--382}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_31}, doi = {10.1007/978-3-642-15396-9\_31}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Martin10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MichelSSH10, author = {Laurent Michel and Alexander A. Shvartsman and Elaine L. Sonderegger and Pascal Van Hentenryck}, editor = {David Cohen}, title = {Load Balancing and Almost Symmetries for {RAMBO} Quorum Hosting}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {598--612}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_47}, doi = {10.1007/978-3-642-15396-9\_47}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/MichelSSH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Nieuwenhuis10, author = {Robert Nieuwenhuis}, editor = {David Cohen}, title = {{SAT} Modulo Theories: Getting the Best of {SAT} and Global Constraint Filtering}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {1--2}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_1}, doi = {10.1007/978-3-642-15396-9\_1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Nieuwenhuis10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PaluMW10, author = {Alessandro Dal Pal{\`{u}} and Mathias M{\"{o}}hl and Sebastian Will}, editor = {David Cohen}, title = {A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {167--175}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_16}, doi = {10.1007/978-3-642-15396-9\_16}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PaluMW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PetkeJ10, author = {Justyna Petke and Peter Jeavons}, editor = {David Cohen}, title = {Local Consistency and SAT-Solvers}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {398--413}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_33}, doi = {10.1007/978-3-642-15396-9\_33}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PetkeJ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Rintanen10, author = {Jussi Rintanen}, editor = {David Cohen}, title = {Heuristics for Planning with {SAT}}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {414--428}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_34}, doi = {10.1007/978-3-642-15396-9\_34}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Rintanen10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Schreiber10, author = {Yevgeny Schreiber}, editor = {David Cohen}, title = {Value-Ordering Heuristics: Search Performance vs. Solution Diversity}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {429--444}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_35}, doi = {10.1007/978-3-642-15396-9\_35}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Schreiber10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SchuttW10, author = {Andreas Schutt and Armin Wolf}, editor = {David Cohen}, title = {A New \emph{O}(\emph{n}\({}^{\mbox{2}}\)log\emph{n}) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {445--459}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_36}, doi = {10.1007/978-3-642-15396-9\_36}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/SchuttW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SimonisDFMQC10, author = {Helmut Simonis and Paul Davern and Jacob Feldman and Deepak Mehta and Luis Quesada and Mats Carlsson}, editor = {David Cohen}, title = {A Generic Visualization Platform for {CP}}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {460--474}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_37}, doi = {10.1007/978-3-642-15396-9\_37}, timestamp = {Tue, 19 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/SimonisDFMQC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SoulignacRT10, author = {Micha{\"{e}}l Soulignac and Michel Rueher and Patrick Taillibert}, editor = {David Cohen}, title = {A Safe and Flexible CP-Based Approach for Velocity Tuning Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {628--642}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_49}, doi = {10.1007/978-3-642-15396-9\_49}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/SoulignacRT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/TrombettoniPCP10, author = {Gilles Trombettoni and Yves Papegay and Gilles Chabert and Odile Pourtallier}, editor = {David Cohen}, title = {A Box-Consistency Contractor Based on Extremal Functions}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {491--498}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_39}, doi = {10.1007/978-3-642-15396-9\_39}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/TrombettoniPCP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Tsang10, author = {Edward P. K. Tsang}, editor = {David Cohen}, title = {Constraint-Directed Search in Computational Finance and Economics}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {3--7}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_2}, doi = {10.1007/978-3-642-15396-9\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Tsang10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Vardi10, author = {Moshe Y. Vardi}, editor = {David Cohen}, title = {Constraints, Graphs, Algebra, Logic, and Complexity}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {8}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_3}, doi = {10.1007/978-3-642-15396-9\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Vardi10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Willard10, author = {Ross Willard}, editor = {David Cohen}, title = {Testing Expressibility Is Hard}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {9--23}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_4}, doi = {10.1007/978-3-642-15396-9\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Willard10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/YipH10, author = {Justin Yip and Pascal Van Hentenryck}, editor = {David Cohen}, title = {Exponential Propagation for Set Variables}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, pages = {499--513}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9\_40}, doi = {10.1007/978-3-642-15396-9\_40}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/YipH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cp/2010, editor = {David Cohen}, title = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th International Conference, {CP} 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6308}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15396-9}, doi = {10.1007/978-3-642-15396-9}, isbn = {978-3-642-15395-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.