Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/cp/cp2009.bht:"
@inproceedings{DBLP:conf/cp/Agren09, author = {Magnus {\AA}gren}, editor = {Ian P. Gent}, title = {Memoisation for Constraint-Based Local Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {119--126}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_12}, doi = {10.1007/978-3-642-04244-7\_12}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/Agren09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AnsoteguiBL09, author = {Carlos Ans{\'{o}}tegui and Maria Luisa Bonet and Jordi Levy}, editor = {Ian P. Gent}, title = {On the Structure of Industrial {SAT} Instances}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {127--141}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_13}, doi = {10.1007/978-3-642-04244-7\_13}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AnsoteguiST09, author = {Carlos Ans{\'{o}}tegui and Meinolf Sellmann and Kevin Tierney}, editor = {Ian P. Gent}, title = {A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {142--157}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_14}, doi = {10.1007/978-3-642-04244-7\_14}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AnsoteguiST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ArayaTN09, author = {Ignacio Araya and Gilles Trombettoni and Bertrand Neveu}, editor = {Ian P. Gent}, title = {Filtering Numerical CSPs Using Well-Constrained Subsystems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {158--172}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_15}, doi = {10.1007/978-3-642-04244-7\_15}, timestamp = {Fri, 06 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ArayaTN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Baptiste09, author = {Philippe Baptiste}, editor = {Ian P. Gent}, title = {Constraint-Based Schedulers, Do They Really Work?}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {1}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_1}, doi = {10.1007/978-3-642-04244-7\_1}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Baptiste09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BessiereHO09, author = {Christian Bessiere and Emmanuel Hebrard and Barry O'Sullivan}, editor = {Ian P. Gent}, title = {Minimising Decision Tree Size as Combinatorial Optimisation}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {173--187}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_16}, doi = {10.1007/978-3-642-04244-7\_16}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/BessiereHO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BrasZP09, author = {Ronan LeBras and Alessandro Zanarini and Gilles Pesant}, editor = {Ian P. Gent}, title = {Efficient Generic Search Heuristics within the {EMBP} Framework}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {539--553}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_43}, doi = {10.1007/978-3-642-04244-7\_43}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/BrasZP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChabertJ09, author = {Gilles Chabert and Luc Jaulin}, editor = {Ian P. Gent}, title = {Hull Consistency under Monotonicity}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {188--195}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_17}, doi = {10.1007/978-3-642-04244-7\_17}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChabertJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChabertJL09, author = {Gilles Chabert and Luc Jaulin and Xavier Lorca}, editor = {Ian P. Gent}, title = {A Constraint on the Number of Distinct Vectors with Application to Localization}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {196--210}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_18}, doi = {10.1007/978-3-642-04244-7\_18}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChabertJL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChoiSD09, author = {Arthur Choi and Trevor Standley and Adnan Darwiche}, editor = {Ian P. Gent}, title = {Approximating Weighted Max-SAT Problems by Compensating for Relaxations}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {211--225}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_19}, doi = {10.1007/978-3-642-04244-7\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChoiSD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChuS09, author = {Geoffrey Chu and Peter J. Stuckey}, editor = {Ian P. Gent}, title = {Minimizing the Maximum Number of Open Stacks by Customer Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {242--257}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_21}, doi = {10.1007/978-3-642-04244-7\_21}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChuS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChuSB09, author = {Geoffrey Chu and Peter J. Stuckey and Maria Garcia de la Banda}, editor = {Ian P. Gent}, title = {Using Relaxations in Maximum Density Still Life}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {258--273}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_22}, doi = {10.1007/978-3-642-04244-7\_22}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChuSB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChuSS09, author = {Geoffrey Chu and Christian Schulte and Peter J. Stuckey}, editor = {Ian P. Gent}, title = {Confidence-Based Work Stealing in Parallel Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {226--241}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_20}, doi = {10.1007/978-3-642-04244-7\_20}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/ChuSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ClementDS09, author = {Vianney le Cl{\'{e}}ment de Saint{-}Marcq and Yves Deville and Christine Solnon}, editor = {Ian P. Gent}, title = {Constraint-Based Graph Matching}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {274--288}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_23}, doi = {10.1007/978-3-642-04244-7\_23}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ClementDS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/CohenGH09, author = {David A. Cohen and Martin James Green and Chris Houghton}, editor = {Ian P. Gent}, title = {Constraint Representations and Structural Tractability}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {289--303}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_24}, doi = {10.1007/978-3-642-04244-7\_24}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/CohenGH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DelgadoJS09, author = {Alberto Delgado and Rune M{\o}ller Jensen and Christian Schulte}, editor = {Ian P. Gent}, title = {Generating Optimal Stowage Plans for Container Vessel Bays}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {6--20}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_4}, doi = {10.1007/978-3-642-04244-7\_4}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/DelgadoJS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DotuHPBGL09, author = {Iv{\'{a}}n Dot{\'{u}} and Pascal Van Hentenryck and Miguel A. Patricio and Antonio Berlanga and Jos{\'{e}} Garc{\'{\i}}a and Jos{\'{e}} M. Molina L{\'{o}}pez}, editor = {Ian P. Gent}, title = {Real-Time Tabu Search for Video Tracking Association}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {21--34}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_5}, doi = {10.1007/978-3-642-04244-7\_5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/DotuHPBGL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DubrovEFMRS09, author = {Bella Dubrov and Haggai Eran and Ari Freund and Edward F. Mark and Shyam Ramji and Timothy A. Schell}, editor = {Ian P. Gent}, title = {Pin Assignment Using Stochastic Local Search Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {35--49}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_6}, doi = {10.1007/978-3-642-04244-7\_6}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/DubrovEFMRS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/EzzahirBWBB09, author = {Redouane Ezzahir and Christian Bessiere and Mohamed Wahbi and Imade Benelallam and Houssine Bouyakhf}, editor = {Ian P. Gent}, title = {Asynchronous Inter-Level Forward-Checking for DisCSPs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {304--318}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_25}, doi = {10.1007/978-3-642-04244-7\_25}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/EzzahirBWBB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FagesR09, author = {Fran{\c{c}}ois Fages and Aur{\'{e}}lien Rizk}, editor = {Ian P. Gent}, title = {From Model-Checking to Temporal Logic Constraint Solving}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {319--334}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_26}, doi = {10.1007/978-3-642-04244-7\_26}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FagesR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FavierGJ09, author = {Aur{\'{e}}lie Favier and Simon de Givry and Philippe J{\'{e}}gou}, editor = {Ian P. Gent}, title = {Exploiting Problem Structure for Solution Counting}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {335--343}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_27}, doi = {10.1007/978-3-642-04244-7\_27}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FavierGJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Fazel-ZarandiB09, author = {Mohammad M. Fazel{-}Zarandi and J. Christopher Beck}, editor = {Ian P. Gent}, title = {Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {344--351}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_28}, doi = {10.1007/978-3-642-04244-7\_28}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Fazel-ZarandiB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FeydyS09, author = {Thibaut Feydy and Peter J. Stuckey}, editor = {Ian P. Gent}, title = {Lazy Clause Generation Reengineered}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {352--366}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_29}, doi = {10.1007/978-3-642-04244-7\_29}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FeydyS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FrischS09, author = {Alan M. Frisch and Peter J. Stuckey}, editor = {Ian P. Gent}, title = {The Proper Treatment of Undefinedness in Constraint Languages}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {367--382}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_30}, doi = {10.1007/978-3-642-04244-7\_30}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FrischS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Fukunaga09, author = {Alex S. Fukunaga}, editor = {Ian P. Gent}, title = {Search Spaces for Min-Perturbation Repair}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {383--390}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_31}, doi = {10.1007/978-3-642-04244-7\_31}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Fukunaga09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Gomes09, author = {Carla P. Gomes}, editor = {Ian P. Gent}, title = {Challenges for Constraint Reasoning and Optimization in Computational Sustainability}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {2--4}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_2}, doi = {10.1007/978-3-642-04244-7\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Gomes09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GraylandMR09, author = {Andrew Grayland and Ian Miguel and Colva M. Roney{-}Dougal}, editor = {Ian P. Gent}, title = {Snake Lex: An Alternative to Double Lex}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {391--399}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_32}, doi = {10.1007/978-3-642-04244-7\_32}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GraylandMR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GrimesHM09, author = {Diarmuid Grimes and Emmanuel Hebrard and Arnaud Malapert}, editor = {Ian P. Gent}, title = {Closing the Open Shop: Contradicting Conventional Wisdom}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {400--408}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_33}, doi = {10.1007/978-3-642-04244-7\_33}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GrimesHM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HadzicHO09, author = {Tarik Hadzic and Alan Holland and Barry O'Sullivan}, editor = {Ian P. Gent}, title = {Reasoning about Optimal Collections of Solutions}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {409--423}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_34}, doi = {10.1007/978-3-642-04244-7\_34}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/HadzicHO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HebrardMOR09, author = {Emmanuel Hebrard and D{\'{a}}niel Marx and Barry O'Sullivan and Igor Razgon}, editor = {Ian P. Gent}, title = {Constraints of Difference and Equality: {A} Complete Taxonomic Characterisation}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {424--438}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_35}, doi = {10.1007/978-3-642-04244-7\_35}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/HebrardMOR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HentenryckCG09, author = {Pascal Van Hentenryck and Carleton Coffrin and Boris Gutkovich}, editor = {Ian P. Gent}, title = {Constraint-Based Local Search for the Automatic Generation of Architectural Tests}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {787--801}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_61}, doi = {10.1007/978-3-642-04244-7\_61}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/HentenryckCG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HnichRTP09, author = {Brahim Hnich and Roberto Rossi and S. Armagan Tarim and Steven D. Prestwich}, editor = {Ian P. Gent}, title = {Synthesizing Filtering Algorithms for Global Chance-Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {439--453}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_36}, doi = {10.1007/978-3-642-04244-7\_36}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/HnichRTP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HuczynskaMMN09, author = {Sophie Huczynska and Paul McKay and Ian Miguel and Peter Nightingale}, editor = {Ian P. Gent}, title = {Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {50--64}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_7}, doi = {10.1007/978-3-642-04244-7\_7}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/HuczynskaMMN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/JaffarSV09, author = {Joxan Jaffar and Andrew E. Santosa and Razvan Voicu}, editor = {Ian P. Gent}, title = {An Interpolation Method for {CLP} Traversal}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {454--469}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_37}, doi = {10.1007/978-3-642-04244-7\_37}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/JaffarSV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/JeffersonKPSZ09, author = {Christopher Jefferson and Serdar Kadioglu and Karen E. Petrie and Meinolf Sellmann and Stanislav Zivn{\'{y}}}, editor = {Ian P. Gent}, title = {Same-Relation Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {470--485}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_38}, doi = {10.1007/978-3-642-04244-7\_38}, timestamp = {Mon, 03 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/JeffersonKPSZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KadiogluS09, author = {Serdar Kadioglu and Meinolf Sellmann}, editor = {Ian P. Gent}, title = {Dialectic Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {486--500}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_39}, doi = {10.1007/978-3-642-04244-7\_39}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KadiogluS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KatsirelosMNW09, author = {George Katsirelos and Sebastian Maneth and Nina Narodytska and Toby Walsh}, editor = {Ian P. Gent}, title = {Restricted Global Grammar Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {501--508}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_40}, doi = {10.1007/978-3-642-04244-7\_40}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KatsirelosMNW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KorovinTV09, author = {Konstantin Korovin and Nestan Tsiskaridze and Andrei Voronkov}, editor = {Ian P. Gent}, title = {Conflict Resolution}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {509--523}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_41}, doi = {10.1007/978-3-642-04244-7\_41}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KorovinTV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LagerkvistS09, author = {Mikael Z. Lagerkvist and Christian Schulte}, editor = {Ian P. Gent}, title = {Propagator Groups}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {524--538}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_42}, doi = {10.1007/978-3-642-04244-7\_42}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/LagerkvistS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LecoutreR09, author = {Christophe Lecoutre and Olivier Roussel}, editor = {Ian P. Gent}, title = {Failed Value Consistencies for Constraint Satisfaction}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {554--568}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_44}, doi = {10.1007/978-3-642-04244-7\_44}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LecoutreR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Loewenstern09, author = {Andrew Loewenstern}, editor = {Ian P. Gent}, title = {Scheduling the {CB1000} Nanoproteomic Analysis System with Python, Tailor, and Minion}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {65--72}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_8}, doi = {10.1007/978-3-642-04244-7\_8}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Loewenstern09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LombardiM09, author = {Michele Lombardi and Michela Milano}, editor = {Ian P. Gent}, title = {A Precedence Constraint Posting Approach for the {RCPSP} with Time Lags and Variable Durations}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {569--583}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_45}, doi = {10.1007/978-3-642-04244-7\_45}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LombardiM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Maher09, author = {Michael J. Maher}, editor = {Ian P. Gent}, title = {SOGgy Constraints: Soft Open Global Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {584--591}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_46}, doi = {10.1007/978-3-642-04244-7\_46}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Maher09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Marinescu09, author = {Radu Marinescu}, editor = {Ian P. Gent}, title = {Exploiting Problem Decomposition in Multi-objective Constraint Optimization}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {592--607}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_47}, doi = {10.1007/978-3-642-04244-7\_47}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Marinescu09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MehtaOQW09, author = {Deepak Mehta and Barry O'Sullivan and Luis Quesada and Nic Wilson}, editor = {Ian P. Gent}, title = {Search Space Extraction}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {608--622}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_48}, doi = {10.1007/978-3-642-04244-7\_48}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/MehtaOQW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MetivierBL09, author = {Jean{-}Philippe M{\'{e}}tivier and Patrice Boizumault and Samir Loudni}, editor = {Ian P. Gent}, title = {Solving Nurse Rostering Problems Using Soft Global Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {73--87}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_9}, doi = {10.1007/978-3-642-04244-7\_9}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/MetivierBL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MichelMSSH09, author = {Laurent Michel and Martijn Moraal and Alexander A. Shvartsman and Elaine L. Sonderegger and Pascal Van Hentenryck}, editor = {Ian P. Gent}, title = {Online Selection of Quorum Systems for {RAMBO} Reconfiguration}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {88--103}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_10}, doi = {10.1007/978-3-642-04244-7\_10}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/MichelMSSH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/OhtaCISIY09, author = {Naoki Ohta and Vincent Conitzer and Ryo Ichimura and Yuko Sakurai and Atsushi Iwasaki and Makoto Yokoo}, editor = {Ian P. Gent}, title = {Coalition Structure Generation Utilizing Compact Characteristic Function Representations}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {623--638}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_49}, doi = {10.1007/978-3-642-04244-7\_49}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/OhtaCISIY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PapadopoulosO09, author = {Alexandre Papadopoulos and Barry O'Sullivan}, editor = {Ian P. Gent}, title = {Compiling All Possible Conflicts of a {CSP}}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {639--653}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_50}, doi = {10.1007/978-3-642-04244-7\_50}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/PapadopoulosO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PipatsrisawatD09, author = {Knot Pipatsrisawat and Adnan Darwiche}, editor = {Ian P. Gent}, title = {On the Power of Clause-Learning {SAT} Solvers with Restarts}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {654--668}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_51}, doi = {10.1007/978-3-642-04244-7\_51}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PipatsrisawatD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PraletV09, author = {C{\'{e}}dric Pralet and G{\'{e}}rard Verfaillie}, editor = {Ian P. Gent}, title = {Slice Encoding for Constraint-Based Planning}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {669--683}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_52}, doi = {10.1007/978-3-642-04244-7\_52}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PraletV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PrestwichTRH09, author = {Steven D. Prestwich and S. Armagan Tarim and Roberto Rossi and Brahim Hnich}, editor = {Ian P. Gent}, title = {Evolving Parameterised Policies for Stochastic Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {684--691}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_53}, doi = {10.1007/978-3-642-04244-7\_53}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PrestwichTRH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ReischukSST09, author = {Raphael M. Reischuk and Christian Schulte and Peter J. Stuckey and Guido Tack}, editor = {Ian P. Gent}, title = {Maintaining State in Propagation Solvers}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {692--706}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_54}, doi = {10.1007/978-3-642-04244-7\_54}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/ReischukSST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Schreiber09, author = {Yevgeny Schreiber}, editor = {Ian P. Gent}, title = {Cost-Driven Interactive {CSP} with Constraint Relaxation}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {707--722}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_55}, doi = {10.1007/978-3-642-04244-7\_55}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Schreiber09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SchulteT09, author = {Christian Schulte and Guido Tack}, editor = {Ian P. Gent}, title = {Weakly Monotonic Propagators}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {723--730}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_56}, doi = {10.1007/978-3-642-04244-7\_56}, timestamp = {Tue, 26 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/SchulteT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SchumannSH09, author = {Anika Schumann and Martin Sachenbacher and Jinbo Huang}, editor = {Ian P. Gent}, title = {Constraint-Based Optimal Testing Using {DNNF} Graphs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {731--745}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_57}, doi = {10.1007/978-3-642-04244-7\_57}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/SchumannSH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SchuttFSW09, author = {Andreas Schutt and Thibaut Feydy and Peter J. Stuckey and Mark Wallace}, editor = {Ian P. Gent}, title = {Why Cumulative Decomposition Is Not as Bad as It Sounds}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {746--761}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_58}, doi = {10.1007/978-3-642-04244-7\_58}, timestamp = {Tue, 19 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/SchuttFSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Sellmann09, author = {Meinolf Sellmann}, editor = {Ian P. Gent}, title = {On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {762--770}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_59}, doi = {10.1007/978-3-642-04244-7\_59}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Sellmann09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Simonis09, author = {Helmut Simonis}, editor = {Ian P. Gent}, title = {A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {104--118}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_11}, doi = {10.1007/978-3-642-04244-7\_11}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Simonis09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Smith09, author = {Barbara M. Smith}, editor = {Ian P. Gent}, title = {Observations on Symmetry Breaking}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {5}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_3}, doi = {10.1007/978-3-642-04244-7\_3}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Smith09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/StynesB09, author = {David Stynes and Kenneth N. Brown}, editor = {Ian P. Gent}, title = {Realtime Online Solving of Quantified CSPs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {771--786}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_60}, doi = {10.1007/978-3-642-04244-7\_60}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/StynesB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Vilim09, author = {Petr Vil{\'{\i}}m}, editor = {Ian P. Gent}, title = {Edge Finding Filtering Algorithm for Discrete Cumulative Resources in \emph{O}(\emph{kn} log \emph{n})\{{\textbackslash}mathcal O\}(kn \{{\textbackslash}rm log\} n)}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {802--816}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_62}, doi = {10.1007/978-3-642-04244-7\_62}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Vilim09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/YipH09, author = {Justin Yip and Pascal Van Hentenryck}, editor = {Ian P. Gent}, title = {Evaluation of Length-Lex Set Variables}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {817--832}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_63}, doi = {10.1007/978-3-642-04244-7\_63}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/YipH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ZivnyJ09, author = {Stanislav Zivn{\'{y}} and Peter G. Jeavons}, editor = {Ian P. Gent}, title = {The Complexity of Valued Constraint Models}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, pages = {833--841}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7\_64}, doi = {10.1007/978-3-642-04244-7\_64}, timestamp = {Mon, 03 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ZivnyJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cp/2009, editor = {Ian P. Gent}, title = {Principles and Practice of Constraint Programming - {CP} 2009, 15th International Conference, {CP} 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5732}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04244-7}, doi = {10.1007/978-3-642-04244-7}, isbn = {978-3-642-04243-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.