Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cp/cp2009.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-04-30 18:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
