Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/cp/cp2003.bht:"
@inproceedings{DBLP:conf/cp/Angelopoulos03, author = {Nicos Angelopoulos}, editor = {Francesca Rossi}, title = {clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {784--788}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_53}, doi = {10.1007/978-3-540-45193-8\_53}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/cp/Angelopoulos03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AngelsmarkJ03, author = {Ola Angelsmark and Peter Jonsson}, editor = {Francesca Rossi}, title = {Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {81--95}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_6}, doi = {10.1007/978-3-540-45193-8\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AngelsmarkJ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Ansotegui03, author = {Carlos Ans{\'{o}}tegui}, editor = {Francesca Rossi}, title = {A New Approach to Solving SAT-Encoded Binary CSPs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {962}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_87}, doi = {10.1007/978-3-540-45193-8\_87}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Ansotegui03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AnsoteguiLM03, author = {Carlos Ans{\'{o}}tegui and Jose Larrubia and Felip Many{\`{a}}}, editor = {Francesca Rossi}, title = {Boosting Chaff's Performance by Incorporating {CSP} Heuristics}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {96--107}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_7}, doi = {10.1007/978-3-540-45193-8\_7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/AnsoteguiLM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BailleuxB03, author = {Olivier Bailleux and Yacine Boufkhad}, editor = {Francesca Rossi}, title = {Efficient {CNF} Encoding of Boolean Cardinality Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {108--122}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_8}, doi = {10.1007/978-3-540-45193-8\_8}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BailleuxB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Basharu03, author = {Muhammed Basharu}, editor = {Francesca Rossi}, title = {FeReRA: {A} Multi-agent Approach to Constraint Satisfaction}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {963}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_88}, doi = {10.1007/978-3-540-45193-8\_88}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Basharu03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BatniniR03, author = {Heikel Batnini and Michel Rueher}, editor = {Francesca Rossi}, title = {Semantic Decomposition for Solving Distance Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {964--965}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_89}, doi = {10.1007/978-3-540-45193-8\_89}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BatniniR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BentH03, author = {Russell Bent and Pascal Van Hentenryck}, editor = {Francesca Rossi}, title = {A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {123--137}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_9}, doi = {10.1007/978-3-540-45193-8\_9}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BentH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BessiereH03, author = {Christian Bessi{\`{e}}re and Pascal Van Hentenryck}, editor = {Francesca Rossi}, title = {To Be or Not to Be ... a Global Constraint}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {789--794}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_54}, doi = {10.1007/978-3-540-45193-8\_54}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BessiereH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Bidot03, author = {Julien Bidot}, editor = {Francesca Rossi}, title = {Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {966}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_90}, doi = {10.1007/978-3-540-45193-8\_90}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Bidot03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BistarelliCHL03, author = {Stefano Bistarelli and Philippe Codognet and Kin Chuen Hui and Jimmy Ho{-}Man Lee}, editor = {Francesca Rossi}, title = {Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {138--152}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_10}, doi = {10.1007/978-3-540-45193-8\_10}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BistarelliCHL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BourdaisGP03, author = {St{\'{e}}phane Bourdais and Philippe Galinier and Gilles Pesant}, editor = {Francesca Rossi}, title = {{HIBISCUS:} {A} Constraint Programming Application to Staff Scheduling in Health Care}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {153--167}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_11}, doi = {10.1007/978-3-540-45193-8\_11}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BourdaisGP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BoutheinaG03, author = {Jlifi Boutheina and Khaled Gh{\'{e}}dira}, editor = {Francesca Rossi}, title = {On the Enhancement of the Informed Backtracking Algorithm}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {967}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_91}, doi = {10.1007/978-3-540-45193-8\_91}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BoutheinaG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BoutilierPPS03, author = {Craig Boutilier and Relu Patrascu and Pascal Poupart and Dale Schuurmans}, editor = {Francesca Rossi}, title = {Constraint-Based Optimization with the Minimax Decision Criterion}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {168--182}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_12}, doi = {10.1007/978-3-540-45193-8\_12}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BoutilierPPS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Boysen03, author = {Ole Boysen}, editor = {Francesca Rossi}, title = {Extending {CLP} with Metaheuristics}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {968}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_92}, doi = {10.1007/978-3-540-45193-8\_92}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Boysen03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BrandGR03, author = {Sebastian Brand and Rosella Gennari and Maarten de Rijke}, editor = {Francesca Rossi}, title = {Constraint Programming for Modelling and Solving Modal Satisfability}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {795--800}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_55}, doi = {10.1007/978-3-540-45193-8\_55}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BrandGR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BritoM03, author = {Ismel Brito and Pedro Meseguer}, editor = {Francesca Rossi}, title = {Distributed Forward Checking}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {801--806}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_56}, doi = {10.1007/978-3-540-45193-8\_56}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BritoM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/BulatovJ03, author = {Andrei A. Bulatov and Peter Jeavons}, editor = {Francesca Rossi}, title = {An Algebraic Approach to Multi-sorted Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {183--198}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_13}, doi = {10.1007/978-3-540-45193-8\_13}, timestamp = {Mon, 17 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/BulatovJ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Carchrae03, author = {Tom Carchrae}, editor = {Francesca Rossi}, title = {Self Configuring Constraint Programming Systems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {969}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_93}, doi = {10.1007/978-3-540-45193-8\_93}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Carchrae03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Chen03, author = {Hubie Chen}, editor = {Francesca Rossi}, title = {Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {199--213}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_14}, doi = {10.1007/978-3-540-45193-8\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Chen03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChengLS03, author = {Chi Kan Cheng and Jimmy Ho{-}Man Lee and Peter J. Stuckey}, editor = {Francesca Rossi}, title = {Box Constraint Collections for Adhoc Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {214--228}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_15}, doi = {10.1007/978-3-540-45193-8\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChengLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ChoiLS03, author = {Chiu Wo Choi and Jimmy Ho{-}Man Lee and Peter J. Stuckey}, editor = {Francesca Rossi}, title = {Propagation Redundancy in Redundant Modelling}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {229--243}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_16}, doi = {10.1007/978-3-540-45193-8\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ChoiLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Cohen03, author = {David A. Cohen}, editor = {Francesca Rossi}, title = {A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {807--811}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_57}, doi = {10.1007/978-3-540-45193-8\_57}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Cohen03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/CohenCJK03, author = {David A. Cohen and Martin C. Cooper and Peter Jeavons and Andrei A. Krokhin}, editor = {Francesca Rossi}, title = {Soft Constraints: Complexity and Multimorphisms}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {244--258}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_17}, doi = {10.1007/978-3-540-45193-8\_17}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/CohenCJK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/ColettaBOFOQ03, author = {Remi Coletta and Christian Bessi{\`{e}}re and Barry O'Sullivan and Eugene C. Freuder and Sarah O'Connell and Jo{\"{e}}l Quinqueton}, editor = {Francesca Rossi}, title = {Semi-automatic Modeling by Constraint Acquisition}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {812--816}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_58}, doi = {10.1007/978-3-540-45193-8\_58}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/ColettaBOFOQ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/CruzB03, author = {Jorge Cruz and Pedro Barahona}, editor = {Francesca Rossi}, title = {Constraint Satisfaction Differential Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {259--273}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_18}, doi = {10.1007/978-3-540-45193-8\_18}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/CruzB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DannaP03, author = {Emilie Danna and Laurent Perron}, editor = {Francesca Rossi}, title = {Structured vs. Unstructured Large Neighborhood Search: {A} Case Study on Job-Shop Scheduling Problems with Earliness and Tardiness Costs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {817--821}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_59}, doi = {10.1007/978-3-540-45193-8\_59}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/DannaP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Dimitriou03, author = {Tassos Dimitriou}, editor = {Francesca Rossi}, title = {A Wealth of {SAT} Distributions with Planted Assignments}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {274--287}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_19}, doi = {10.1007/978-3-540-45193-8\_19}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Dimitriou03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DotuVC03, author = {Iv{\'{a}}n Dot{\'{u}} and Alvaro del Val and Manuel Cebri{\'{a}}n}, editor = {Francesca Rossi}, title = {Redundant Modeling for the QuasiGroup Completion Problem}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {288--302}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_20}, doi = {10.1007/978-3-540-45193-8\_20}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/DotuVC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/DugganOF03, author = {Moyra Duggan and Barry O'Sullivan and Eugene C. Freuder}, editor = {Francesca Rossi}, title = {Interactive Tradeoff Generation}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {970}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_94}, doi = {10.1007/978-3-540-45193-8\_94}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/DugganOF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/EisenbergF03, author = {Carlos Eisenberg and Boi Faltings}, editor = {Francesca Rossi}, title = {Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {822--826}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_60}, doi = {10.1007/978-3-540-45193-8\_60}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/EisenbergF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FaltingsM03, author = {Boi Faltings and Santiago Macho{-}Gonzalez}, editor = {Francesca Rossi}, title = {Open Constraint Optimization}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {303--317}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_21}, doi = {10.1007/978-3-540-45193-8\_21}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FaltingsM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FernandeyHS03, author = {Antonio J. Fern{\'{a}}ndez and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Fernando S{\'{a}}enz{-}P{\'{e}}rez}, editor = {Francesca Rossi}, title = {Toy(FD): Sketch of Operational Semantics}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {827--831}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_61}, doi = {10.1007/978-3-540-45193-8\_61}, timestamp = {Thu, 18 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FernandeyHS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FlenerPA03, author = {Pierre Flener and Justin Pearson and Magnus {\AA}gren}, editor = {Francesca Rossi}, title = {Introducing ESRA, a Relational Language for Modelling Combinatorial Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {971}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_95}, doi = {10.1007/978-3-540-45193-8\_95}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/FlenerPA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FrankD03, author = {Jeremy Frank and Richard Dearden}, editor = {Francesca Rossi}, title = {Scheduling in the Face of Uncertain Resource Consumption and Utility}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {832--836}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_62}, doi = {10.1007/978-3-540-45193-8\_62}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FrankD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/FrischJM03, author = {Alan M. Frisch and Christopher Jefferson and Ian Miguel}, editor = {Francesca Rossi}, title = {Constraints for Breaking More Row and Column Symmetries}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {318--332}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_22}, doi = {10.1007/978-3-540-45193-8\_22}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/FrischJM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GentHKL03, author = {Ian P. Gent and Warwick Harvey and Tom Kelsey and Steve Linton}, editor = {Francesca Rossi}, title = {Generic {SBDD} Using Computational Group Theory}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {333--347}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_23}, doi = {10.1007/978-3-540-45193-8\_23}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GentHKL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GentHRS03, author = {Ian P. Gent and Holger H. Hoos and Andrew G. D. Rowley and Kevin Smyth}, editor = {Francesca Rossi}, title = {Using Stochastic Local Search to Solve Quantified Boolean Formulae}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {348--362}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_24}, doi = {10.1007/978-3-540-45193-8\_24}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GentHRS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GentPSW03, author = {Ian P. Gent and Patrick Prosser and Barbara M. Smith and Wu Wei}, editor = {Francesca Rossi}, title = {Supertree Construction with Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {837--841}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_63}, doi = {10.1007/978-3-540-45193-8\_63}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GentPSW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Gibbons03, author = {James Gibbons}, editor = {Francesca Rossi}, title = {Abstracting Constraints Using Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {972}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_96}, doi = {10.1007/978-3-540-45193-8\_96}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Gibbons03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GiunchigliaMT03, author = {Enrico Giunchiglia and Marco Maratea and Armando Tacchella}, editor = {Francesca Rossi}, title = {(In)Effectiveness of Look-Ahead Techniques in a Modern {SAT} Solver}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {842--846}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_64}, doi = {10.1007/978-3-540-45193-8\_64}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GiunchigliaMT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GivryLMS03, author = {Simon de Givry and Javier Larrosa and Pedro Meseguer and Thomas Schiex}, editor = {Francesca Rossi}, title = {Solving Max-SAT as Weighted {CSP}}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {363--376}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_25}, doi = {10.1007/978-3-540-45193-8\_25}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GivryLMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Glynn03, author = {Diarmuid Glynn}, editor = {Francesca Rossi}, title = {Sensitivity Analysis in CSPs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {973}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_97}, doi = {10.1007/978-3-540-45193-8\_97}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Glynn03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GoldenP03, author = {Keith Golden and Wanlin Pang}, editor = {Francesca Rossi}, title = {Constraint Reasoning over Strings}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {377--391}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_26}, doi = {10.1007/978-3-540-45193-8\_26}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GoldenP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GomesVR03, author = {Nuno Gomes and Zita A. Vale and Carlos Ramos}, editor = {Francesca Rossi}, title = {Reduce and Assign: {A} Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {847--852}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_65}, doi = {10.1007/978-3-540-45193-8\_65}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GomesVR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GrandcolasHP03, author = {St{\'{e}}phane Grandcolas and Laurent Henocque and Nicolas Prcovic}, editor = {Francesca Rossi}, title = {A Canonicity Test for Configuration}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {853--857}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_66}, doi = {10.1007/978-3-540-45193-8\_66}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GrandcolasHP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GrandoniI03, author = {Fabrizio Grandoni and Giuseppe F. Italiano}, editor = {Francesca Rossi}, title = {Improved Algorithms for Max-restricted Path Consistency}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {858--862}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_67}, doi = {10.1007/978-3-540-45193-8\_67}, timestamp = {Mon, 11 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/GrandoniI03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GreenC03, author = {Martin James Green and David A. Cohen}, editor = {Francesca Rossi}, title = {Tractability by Approximating Constraint Languages}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {392--406}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_27}, doi = {10.1007/978-3-540-45193-8\_27}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GreenC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GuerriM03, author = {Alessio Guerri and Michela Milano}, editor = {Francesca Rossi}, title = {{CP-IP} Techniques for the Bid Evaluation in Combinatorial Auctions}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {863--867}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_68}, doi = {10.1007/978-3-540-45193-8\_68}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GuerriM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Hebrard03, author = {Emmanuel Hebrard}, editor = {Francesca Rossi}, title = {Solution Stability in Constraint Satisfaction Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {974}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_98}, doi = {10.1007/978-3-540-45193-8\_98}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Hebrard03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HentenryckM03, author = {Pascal Van Hentenryck and Laurent Michel}, editor = {Francesca Rossi}, title = {Control Abstractions for Local Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {65--80}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_5}, doi = {10.1007/978-3-540-45193-8\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/HentenryckM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Heusch03, author = {Micha{\"{e}}l Heusch}, editor = {Francesca Rossi}, title = {distn: An Euclidean Distance Global Constraint}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {975}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_99}, doi = {10.1007/978-3-540-45193-8\_99}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/Heusch03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Hoeve03, author = {Willem Jan van Hoeve}, editor = {Francesca Rossi}, title = {A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stabe Set Problem}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {407--421}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_28}, doi = {10.1007/978-3-540-45193-8\_28}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Hoeve03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HollandO03, author = {Alan Holland and Barry O'Sullivan}, editor = {Francesca Rossi}, title = {Algorithmic Mechanism Design and Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {976}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_100}, doi = {10.1007/978-3-540-45193-8\_100}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/HollandO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HollandOO03, author = {Alan Holland and Barry O'Callaghan and Barry O'Sullivan}, editor = {Francesca Rossi}, title = {A Constraint-Aided Conceptual Design Environment for Autodesk Inventor}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {422--436}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_29}, doi = {10.1007/978-3-540-45193-8\_29}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/HollandOO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HuangLJLX03, author = {Wenqi Huang and Yu Li and Bernard Jurkowiak and Chu Min Li and Ru Chu Xu}, editor = {Francesca Rossi}, title = {A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {868--872}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_69}, doi = {10.1007/978-3-540-45193-8\_69}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/HuangLJLX03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/JosephCHW03, author = {R{\'{e}}my{-}Robert Joseph and Peter Chan and Michael Hiroux and Georges Weil}, editor = {Francesca Rossi}, title = {Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {977}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_101}, doi = {10.1007/978-3-540-45193-8\_101}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/JosephCHW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KatrielT03, author = {Irit Katriel and Sven Thiel}, editor = {Francesca Rossi}, title = {Fast Bound Consistency for the Global Cardinality Constraint}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {437--451}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_30}, doi = {10.1007/978-3-540-45193-8\_30}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KatrielT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KatsirelosB03, author = {George Katsirelos and Fahiem Bacchus}, editor = {Francesca Rossi}, title = {Unrestricted Nogood Recording in {CSP} Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {873--877}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_70}, doi = {10.1007/978-3-540-45193-8\_70}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KatsirelosB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KautzS03, author = {Henry A. Kautz and Bart Selman}, editor = {Francesca Rossi}, title = {Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {1--18}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_1}, doi = {10.1007/978-3-540-45193-8\_1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KautzS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KelleherO03, author = {Jerome Kelleher and Barry O'Sullivan}, editor = {Francesca Rossi}, title = {Optimising the Representation and Evaluation of Semiring Combination Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {978}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_102}, doi = {10.1007/978-3-540-45193-8\_102}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KelleherO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Kiziltan03, author = {Zeynep Kiziltan}, editor = {Francesca Rossi}, title = {Symmetry Breaking Ordering Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {979}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_103}, doi = {10.1007/978-3-540-45193-8\_103}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Kiziltan03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KrippahlB03, author = {Ludwig Krippahl and Pedro Barahona}, editor = {Francesca Rossi}, title = {Propagating N-Ary Rigid-Body Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {452--465}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_31}, doi = {10.1007/978-3-540-45193-8\_31}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/KrippahlB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Kumar03, author = {T. K. Satish Kumar}, editor = {Francesca Rossi}, title = {Incremental Computation of Resource-Envelopes in Producer-Consumer Models}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {664--678}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_45}, doi = {10.1007/978-3-540-45193-8\_45}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Kumar03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Laburthe03, author = {Fran{\c{c}}ois Laburthe}, editor = {Francesca Rossi}, title = {Constraints over Ontologies}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {878--882}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_71}, doi = {10.1007/978-3-540-45193-8\_71}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Laburthe03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LaburtheC03, author = {Fran{\c{c}}ois Laburthe and Yves Caseau}, editor = {Francesca Rossi}, title = {Using Constraints for Exploring Catalogs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {883--888}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_72}, doi = {10.1007/978-3-540-45193-8\_72}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LaburtheC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LallouetLDE03, author = {Arnaud Lallouet and Andrei Legtchenko and Thi{-}Bich{-}Hanh Dao and AbdelAli Ed{-}Dbali}, editor = {Francesca Rossi}, title = {Intermediate (Learned) Consistencies}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {889--893}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_73}, doi = {10.1007/978-3-540-45193-8\_73}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LallouetLDE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Langevine03, author = {Ludovic Langevine}, editor = {Francesca Rossi}, title = {Observation of Constraint Programs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {980}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_104}, doi = {10.1007/978-3-540-45193-8\_104}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Langevine03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Larkin03, author = {David Larkin}, editor = {Francesca Rossi}, title = {Semi-independent Partitioning: {A} Method for Bounding the Solution to COP's}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {894--898}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_74}, doi = {10.1007/978-3-540-45193-8\_74}, timestamp = {Sat, 04 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/Larkin03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LarrosaM03, author = {Javier Larrosa and Enric Morancho}, editor = {Francesca Rossi}, title = {Solving 'Still Life' with Soft Constraints and Bucket Elimination}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {466--479}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_32}, doi = {10.1007/978-3-540-45193-8\_32}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LarrosaM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LecoutreBH03, author = {Christophe Lecoutre and Fr{\'{e}}d{\'{e}}ric Boussemart and Fred Hemery}, editor = {Francesca Rossi}, title = {Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {480--494}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_33}, doi = {10.1007/978-3-540-45193-8\_33}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LecoutreBH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Legierski03, author = {Wojciech Legierski}, editor = {Francesca Rossi}, title = {Search Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {981}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_105}, doi = {10.1007/978-3-540-45193-8\_105}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Legierski03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Leyton-BrownNAMS03, author = {Kevin Leyton{-}Brown and Eugene Nudelman and Galen Andrew and Jim McFadden and Yoav Shoham}, editor = {Francesca Rossi}, title = {Boosting as a Metaphor for Algorithm Design}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {899--903}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_75}, doi = {10.1007/978-3-540-45193-8\_75}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Leyton-BrownNAMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Lhomme03, author = {Olivier Lhomme}, editor = {Francesca Rossi}, title = {An Efficient Filtering Algorithm for Disjunction of Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {904--908}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_76}, doi = {10.1007/978-3-540-45193-8\_76}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Lhomme03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Likitvivatanavong03, author = {Chavalit Likitvivatanavong}, editor = {Francesca Rossi}, title = {Exploiting Microstructure in CSPs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {982}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_106}, doi = {10.1007/978-3-540-45193-8\_106}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Likitvivatanavong03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LittleGBF03, author = {James Little and Cormac Gebruers and Derek G. Bridge and Eugene C. Freuder}, editor = {Francesca Rossi}, title = {Using Case-Based Reasoning to Write Constraint Programs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {983}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_107}, doi = {10.1007/978-3-540-45193-8\_107}, timestamp = {Tue, 28 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LittleGBF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LiuT03, author = {Lengning Liu and Miroslaw Truszczynski}, editor = {Francesca Rossi}, title = {Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {495--509}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_34}, doi = {10.1007/978-3-540-45193-8\_34}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LiuT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LodiMR03, author = {Andrea Lodi and Michela Milano and Louis{-}Martin Rousseau}, editor = {Francesca Rossi}, title = {Discrepancy-Based Additive Bounding for the AllDifferent Constraint}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {510--524}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_35}, doi = {10.1007/978-3-540-45193-8\_35}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/LodiMR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Maher03, author = {Michael J. Maher}, editor = {Francesca Rossi}, title = {A Synthesis of Constraint Satisfaction and Constraint Solving}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {525--539}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_36}, doi = {10.1007/978-3-540-45193-8\_36}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Maher03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Mancini03, author = {Toni Mancini}, editor = {Francesca Rossi}, title = {Reformulation Techniques for a Class of Permutation Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {984}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_108}, doi = {10.1007/978-3-540-45193-8\_108}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Mancini03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/McDonald03, author = {Iain McDonald}, editor = {Francesca Rossi}, title = {NuSBDS: An Easy to Use Symmetry Breaking System}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {985}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_109}, doi = {10.1007/978-3-540-45193-8\_109}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/McDonald03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/MichelH03, author = {Laurent Michel and Pascal Van Hentenryck}, editor = {Francesca Rossi}, title = {Maintaining Longest Paths Incrementally}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {540--554}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_37}, doi = {10.1007/978-3-540-45193-8\_37}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/MichelH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Mitchell03, author = {David G. Mitchell}, editor = {Francesca Rossi}, title = {Resolution and Constraint Satisfaction}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {555--569}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_38}, doi = {10.1007/978-3-540-45193-8\_38}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Mitchell03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Muller03, author = {Tom{\'{a}}s M{\"{u}}ller}, editor = {Francesca Rossi}, title = {Interactivity in Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {986}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_110}, doi = {10.1007/978-3-540-45193-8\_110}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Muller03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/NeveuT03, author = {Bertrand Neveu and Gilles Trombettoni}, editor = {Francesca Rossi}, title = {{INCOP:} An Open Library for INcomplete Combinatorial OPtimization}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {909--913}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_77}, doi = {10.1007/978-3-540-45193-8\_77}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/NeveuT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/NishiharaMN03, author = {Seiichi Nishihara and Kazunori Mizuno and Kohsuke Nishihara}, editor = {Francesca Rossi}, title = {A Composition Algorithm for Very Hard Graph 3-Colorability Instances}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {914--919}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_78}, doi = {10.1007/978-3-540-45193-8\_78}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/NishiharaMN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/NordlanderBS03, author = {Tomas Eric Nordlander and Kenneth N. Brown and Derek H. Sleeman}, editor = {Francesca Rossi}, title = {Identifying Inconsistent CSPs by Relaxation}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {987}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_111}, doi = {10.1007/978-3-540-45193-8\_111}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/NordlanderBS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/OCallaghanFO03, author = {Barry O'Callaghan and Eugene C. Freuder and Barry O'Sullivan}, editor = {Francesca Rossi}, title = {Useful Explanations}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {988}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_112}, doi = {10.1007/978-3-540-45193-8\_112}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/OCallaghanFO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/OConnellOF03, author = {Sarah O'Connell and Barry O'Sullivan and Eugene C. Freuder}, editor = {Francesca Rossi}, title = {Teacher and Learner Profiles for Constraint Acquisition}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {989}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_113}, doi = {10.1007/978-3-540-45193-8\_113}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/OConnellOF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/OddiPCC03, author = {Angelo Oddi and Nicola Policella and Amedeo Cesta and Gabriella Cortellessa}, editor = {Francesca Rossi}, title = {Generating High Quality Schedules for a Spacecraft Memory Downlink Problem}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {570--584}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_39}, doi = {10.1007/978-3-540-45193-8\_39}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/OddiPCC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/OhnishiTT03, author = {Shuji Ohnishi and Hiroaki Tasaka and Naoyuki Tamura}, editor = {Francesca Rossi}, title = {Efficient Represenation of Discrete Sets for Constraint Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {920--924}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_79}, doi = {10.1007/978-3-540-45193-8\_79}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/OhnishiTT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PetcuF03, author = {Adrian Petcu and Boi Faltings}, editor = {Francesca Rossi}, title = {Applying Interchangeability Techniques to the Distributed Breakout Algorithm}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {925--929}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_80}, doi = {10.1007/978-3-540-45193-8\_80}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PetcuF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Petrie03, author = {Karen E. Petrie}, editor = {Francesca Rossi}, title = {Comparison of Symmetry Breaking Methods}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {990}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_114}, doi = {10.1007/978-3-540-45193-8\_114}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Petrie03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PetrieS03, author = {Karen E. Petrie and Barbara M. Smith}, editor = {Francesca Rossi}, title = {Symmetry Breaking in Graceful Graphs}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {930--934}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_81}, doi = {10.1007/978-3-540-45193-8\_81}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PetrieS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Planes03, author = {Jordi Planes}, editor = {Francesca Rossi}, title = {Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {991}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_115}, doi = {10.1007/978-3-540-45193-8\_115}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Planes03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Prcovic03, author = {Nicolas Prcovic}, editor = {Francesca Rossi}, title = {Tree Local Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {935--939}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_82}, doi = {10.1007/978-3-540-45193-8\_82}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Prcovic03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/PrestwichHO03, author = {Steven D. Prestwich and Desmond G. Higgins and Orla O'Sullivan}, editor = {Francesca Rossi}, title = {A SAT-Based Approach to Multiple Sequence Alignment}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {940--944}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_83}, doi = {10.1007/978-3-540-45193-8\_83}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/PrestwichHO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Puget03, author = {Jean{-}Francois Puget}, editor = {Francesca Rossi}, title = {Symmetry Breaking Using Stabilizers}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {585--599}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_40}, doi = {10.1007/978-3-540-45193-8\_40}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Puget03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/QuimperBLGS03, author = {Claude{-}Guy Quimper and Peter van Beek and Alejandro L{\'{o}}pez{-}Ortiz and Alexander Golynski and Sayyed Bashir Sadjad}, editor = {Francesca Rossi}, title = {An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {600--614}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_41}, doi = {10.1007/978-3-540-45193-8\_41}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/QuimperBLGS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Quirke03, author = {Colin Quirke}, editor = {Francesca Rossi}, title = {Search for Mathematical Objects}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {992}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_116}, doi = {10.1007/978-3-540-45193-8\_116}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Quirke03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Ratschan03, author = {Stefan Ratschan}, editor = {Francesca Rossi}, title = {Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {615--633}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_42}, doi = {10.1007/978-3-540-45193-8\_42}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Ratschan03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/RazgonM03, author = {Igor Razgon and Amnon Meisels}, editor = {Francesca Rossi}, title = {Maintaining Dominance Consistency}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {945--949}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_84}, doi = {10.1007/978-3-540-45193-8\_84}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/RazgonM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Regin03, author = {Jean{-}Charles R{\'{e}}gin}, editor = {Francesca Rossi}, title = {Using Constraint Programming to Solve the Maximum Clique Problem}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {634--648}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_43}, doi = {10.1007/978-3-540-45193-8\_43}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/Regin03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Rochart03, author = {Guillaume Rochart}, editor = {Francesca Rossi}, title = {Explanations for Global Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {993}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_117}, doi = {10.1007/978-3-540-45193-8\_117}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Rochart03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Rowley03, author = {Andrew G. D. Rowley}, editor = {Francesca Rossi}, title = {Watching Clauses in Quantified Boolean Formulae}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {994}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_118}, doi = {10.1007/978-3-540-45193-8\_118}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Rowley03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SabinFW03, author = {Mihaela Sabin and Eugene C. Freuder and Richard J. Wallace}, editor = {Francesca Rossi}, title = {Greater Efficiency for Conditional Constraint Satisfaction}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {649--663}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_44}, doi = {10.1007/978-3-540-45193-8\_44}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/SabinFW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Sandholm03, author = {Tuomas Sandholm}, editor = {Francesca Rossi}, title = {Automated Mechanism Design: {A} New Application Area for Search Algorithms}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {19--36}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_2}, doi = {10.1007/978-3-540-45193-8\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Sandholm03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Sandholm03a, author = {Tuomas Sandholm}, editor = {Francesca Rossi}, title = {Terminating Decision Algorithms Optimally}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {950--955}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_85}, doi = {10.1007/978-3-540-45193-8\_85}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Sandholm03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Schlenker03, author = {Hans Schlenker}, editor = {Francesca Rossi}, title = {Distributed Constraint-Based Railway Simulation}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {995}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_119}, doi = {10.1007/978-3-540-45193-8\_119}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Schlenker03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Sellmann03, author = {Meinolf Sellmann}, editor = {Francesca Rossi}, title = {Approximated Consistency for Knapsack Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {679--693}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_46}, doi = {10.1007/978-3-540-45193-8\_46}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Sellmann03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Sellmann03a, author = {Meinolf Sellmann}, editor = {Francesca Rossi}, title = {Cost-Based Filtering for Shorter Path Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {694--708}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_47}, doi = {10.1007/978-3-540-45193-8\_47}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Sellmann03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Sheridan03, author = {Daniel Sheridan}, editor = {Francesca Rossi}, title = {Dynamic Step Size Adjustment in Iterative Deepening Search}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {996}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_120}, doi = {10.1007/978-3-540-45193-8\_120}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Sheridan03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Sturdy03, author = {Paula Sturdy}, editor = {Francesca Rossi}, title = {Learning Good Variable Orderings}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {997}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_121}, doi = {10.1007/978-3-540-45193-8\_121}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Sturdy03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/TerriouxJ03, author = {Cyril Terrioux and Philippe J{\'{e}}gou}, editor = {Francesca Rossi}, title = {Bounded Backtracking for the Valued Constraint Satisfaction Problems}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {709--723}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_48}, doi = {10.1007/978-3-540-45193-8\_48}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/TerriouxJ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/TigheSL03, author = {Ann Tighe and Finlay S. Smith and Gerard Lyons}, editor = {Francesca Rossi}, title = {An Adaptive Controller for Real-Time Resolution of the Vehicle Routing Problem}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {998}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_122}, doi = {10.1007/978-3-540-45193-8\_122}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/TigheSL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/TrombettoniW03, author = {Gilles Trombettoni and Marta Wilczkowiak}, editor = {Francesca Rossi}, title = {Scene Reconstruction Based on Constraints: Details on the Equation System Decomposition}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {956--961}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_86}, doi = {10.1007/978-3-540-45193-8\_86}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/TrombettoniW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Venable03, author = {Kristen Brent Venable}, editor = {Francesca Rossi}, title = {alpha-Dynamic Controllability of Simple Temporal Problems with Preferences and Uncertainty}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {999}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_123}, doi = {10.1007/978-3-540-45193-8\_123}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Venable03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Vilim03, author = {Petr Vil{\'{\i}}m}, editor = {Francesca Rossi}, title = {Computing Explanations for Global Scheduling Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {1000}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_124}, doi = {10.1007/978-3-540-45193-8\_124}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Vilim03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Wallace03, author = {Mark Wallace}, editor = {Francesca Rossi}, title = {Languages versus Packages for Constraint Problem Solving}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {37--52}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_3}, doi = {10.1007/978-3-540-45193-8\_3}, timestamp = {Tue, 19 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/Wallace03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Walsh03, author = {Toby Walsh}, editor = {Francesca Rossi}, title = {Constraint Patterns}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {53--64}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_4}, doi = {10.1007/978-3-540-45193-8\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Walsh03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Walsh03a, author = {Toby Walsh}, editor = {Francesca Rossi}, title = {Consistency and Propagation with Multiset Constraints: {A} Formal Viewpoint}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {724--738}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_49}, doi = {10.1007/978-3-540-45193-8\_49}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Walsh03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Wolf03, author = {Armin Wolf}, editor = {Francesca Rossi}, title = {Pruning while Sweeping over Task Intervals}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {739--753}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_50}, doi = {10.1007/978-3-540-45193-8\_50}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Wolf03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/WuB03, author = {Huayue Wu and Peter van Beek}, editor = {Francesca Rossi}, title = {Restart Strategies: Analysis and Simulation}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {1001}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_125}, doi = {10.1007/978-3-540-45193-8\_125}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/WuB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/XuC03, author = {Lin Xu and Berthe Y. Choueiry}, editor = {Francesca Rossi}, title = {Improving Backtrack Search for Solving the {TCSP}}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {754--768}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_51}, doi = {10.1007/978-3-540-45193-8\_51}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/XuC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Yorke-SmithG03, author = {Neil Yorke{-}Smith and Carmen Gervet}, editor = {Francesca Rossi}, title = {Certainty Closure: {A} Framework for Reliable Constraint Reasoning with Uncertainty}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {769--783}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_52}, doi = {10.1007/978-3-540-45193-8\_52}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Yorke-SmithG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Zoeteweij03, author = {Peter Zoeteweij}, editor = {Francesca Rossi}, title = {OpenSolver: {A} Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {1002}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_126}, doi = {10.1007/978-3-540-45193-8\_126}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Zoeteweij03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cp/2003, editor = {Francesca Rossi}, title = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b13743}, doi = {10.1007/B13743}, isbn = {3-540-20202-1}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/2003.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.