Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cp/AgrenFP06,
  author       = {Magnus {\AA}gren and
                  Pierre Flener and
                  Justin Pearson},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Inferring Variable Conflicts for Local Search},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {665--669},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_47},
  doi          = {10.1007/11889205\_47},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AgrenFP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Ahmed06,
  author       = {Shabbir Ahmed},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Global Optimization of Probabilistically Constrained Linear Programs},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {1},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_1},
  doi          = {10.1007/11889205\_1},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Ahmed06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AptB06,
  author       = {Krzysztof R. Apt and
                  Sebastian Brand},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Infinite Qualitative Simulations by Means of Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {29--43},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_5},
  doi          = {10.1007/11889205\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AptB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BalafoutisS06,
  author       = {Thanasis Balafoutis and
                  Kostas Stergiou},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Algorithms for Stochastic CSPs},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {44--58},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_6},
  doi          = {10.1007/11889205\_6},
  timestamp    = {Tue, 08 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BalafoutisS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BandaMRW06,
  author       = {Maria J. Garc{\'{\i}}a de la Banda and
                  Kim Marriott and
                  Reza Rafeh and
                  Mark Wallace},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {The Modelling Language Zinc},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {700--705},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_54},
  doi          = {10.1007/11889205\_54},
  timestamp    = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BandaMRW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCDP06,
  author       = {Nicolas Beldiceanu and
                  Mats Carlsson and
                  Sophie Demassey and
                  Thierry Petit},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Graph Properties Based Filtering},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {59--74},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_7},
  doi          = {10.1007/11889205\_7},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BeldiceanuCDP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BenhamouS06,
  author       = {Belaid Benhamou and
                  Mohamed R{\'{e}}da Sa{\"{\i}}di},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Reasoning by Dominance in Not-Equals Binary Constraint Networks},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {670--674},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_48},
  doi          = {10.1007/11889205\_48},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BenhamouS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BessiereHHKW06,
  author       = {Christian Bessiere and
                  Emmanuel Hebrard and
                  Brahim Hnich and
                  Zeynep Kiziltan and
                  Toby Walsh},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {The {ROOTS} Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {75--90},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_8},
  doi          = {10.1007/11889205\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BessiereHHKW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BritoM06,
  author       = {Ismel Brito and
                  Pedro Meseguer},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Distributed Stable Matching Problems with Ties and Incomplete Lists},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {675--679},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_49},
  doi          = {10.1007/11889205\_49},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BritoM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BrodskyN06,
  author       = {Alexander Brodsky and
                  Hadon Nash},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {CoJava: Optimization Modeling by Nondeterministic Simulation},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {91--106},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_9},
  doi          = {10.1007/11889205\_9},
  timestamp    = {Wed, 13 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BrodskyN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenCJ06,
  author       = {David A. Cohen and
                  Martin C. Cooper and
                  Peter Jeavons},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {An Algebraic Characterisation of Complexity for Valued Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_10},
  doi          = {10.1007/11889205\_10},
  timestamp    = {Mon, 17 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CohenCJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenG06,
  author       = {David A. Cohen and
                  Martin James Green},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Typed Guarded Decompositions for Constraint Satisfaction},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_11},
  doi          = {10.1007/11889205\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CohenG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CooperCRR06,
  author       = {Martin C. Cooper and
                  Sylvain Cussat{-}Blanc and
                  Marie de Roquemaurel and
                  Pierre R{\'{e}}gnier},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Soft Arc Consistency Applied to Optimal Planning},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {680--684},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_50},
  doi          = {10.1007/11889205\_50},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/CooperCRR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DimopoulosS06,
  author       = {Yannis Dimopoulos and
                  Kostas Stergiou},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Propagation in {CSP} and {SAT}},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_12},
  doi          = {10.1007/11889205\_12},
  timestamp    = {Tue, 08 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/DimopoulosS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DoomsK06,
  author       = {Gr{\'{e}}goire Dooms and
                  Irit Katriel},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {The \emph{Minimum Spanning Tree} Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_13},
  doi          = {10.1007/11889205\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DoomsK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DotuH06,
  author       = {Iv{\'{a}}n Dot{\'{u}} and
                  Pascal Van Hentenryck},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {A Note on Low Autocorrelation Binary Sequences},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {685--689},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_51},
  doi          = {10.1007/11889205\_51},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DotuH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FergusonO06,
  author       = {Alex Ferguson and
                  Barry O'Sullivan},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Relaxations and Explanations for Quantified Constraint Satisfaction
                  Problems},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {690--694},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_52},
  doi          = {10.1007/11889205\_52},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FergusonO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FlenerPSH06,
  author       = {Pierre Flener and
                  Justin Pearson and
                  Meinolf Sellmann and
                  Pascal Van Hentenryck},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Static and Dynamic Structural Symmetry Breaking},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {695--699},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_53},
  doi          = {10.1007/11889205\_53},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FlenerPSH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GaglioloS06,
  author       = {Matteo Gagliolo and
                  J{\"{u}}rgen Schmidhuber},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Impact of Censored Sampling on the Performance of Restart Strategies},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_14},
  doi          = {10.1007/11889205\_14},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GaglioloS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentJM06,
  author       = {Ian P. Gent and
                  Christopher Jefferson and
                  Ian Miguel},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Watched Literals for Constraint Propagation in Minion},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {182--197},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_15},
  doi          = {10.1007/11889205\_15},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GentJM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GogateD06,
  author       = {Vibhav Gogate and
                  Rina Dechter},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {A New Algorithm for Sampling {CSP} Solutions Uniformly at Random},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {711--715},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_56},
  doi          = {10.1007/11889205\_56},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GogateD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GoldsztejnJ06,
  author       = {Alexandre Goldsztejn and
                  Luc Jaulin},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Inner and Outer Approximations of Existentially Quantified Equality
                  Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {198--212},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_16},
  doi          = {10.1007/11889205\_16},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GoldsztejnJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GonzalezAM06,
  author       = {Santiago Macho Gonz{\'{a}}lez and
                  Carlos Ans{\'{o}}tegui and
                  Pedro Meseguer},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Boosting Open CSPs},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {314--328},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_24},
  doi          = {10.1007/11889205\_24},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GonzalezAM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GrandoniI06,
  author       = {Fabrizio Grandoni and
                  Giuseppe F. Italiano},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Algorithms and Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {2--14},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_2},
  doi          = {10.1007/11889205\_2},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GrandoniI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HamiezH06,
  author       = {Jean{-}Philippe Hamiez and
                  Jin{-}Kao Hao},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Sports League Scheduling: Enumerative Search for Prob026 from CSPLib},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {716--720},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_57},
  doi          = {10.1007/11889205\_57},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HamiezH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HellerS06,
  author       = {Daniel S. Heller and
                  Meinolf Sellmann},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Dynamic Symmetry Breaking Restarted},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {721--725},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_58},
  doi          = {10.1007/11889205\_58},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HellerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HentenryckM06,
  author       = {Pascal Van Hentenryck and
                  Laurent Michel},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Differentiable Invariants},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {604--619},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_43},
  doi          = {10.1007/11889205\_43},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HentenryckM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoevePRS06,
  author       = {Willem Jan van Hoeve and
                  Gilles Pesant and
                  Louis{-}Martin Rousseau and
                  Ashish Sabharwal},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Revisiting the Sequence Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {620--634},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_44},
  doi          = {10.1007/11889205\_44},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HoevePRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoughtonCG06,
  author       = {Chris Houghton and
                  David A. Cohen and
                  Martin James Green},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {The Effect of Constraint Representation on Structural Tractability},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {726--730},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_59},
  doi          = {10.1007/11889205\_59},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HoughtonCG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HulubeiO06,
  author       = {Tudor Hulubei and
                  Barry O'Sullivan},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Failure Analysis in Backtrack Search for Constraint Satisfaction},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {731--735},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_60},
  doi          = {10.1007/11889205\_60},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HulubeiO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HulubeiO06a,
  author       = {Tudor Hulubei and
                  Barry O'Sullivan},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal
                  Refutations},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {736--740},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_61},
  doi          = {10.1007/11889205\_61},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HulubeiO06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HutterHHL06,
  author       = {Frank Hutter and
                  Youssef Hamadi and
                  Holger H. Hoos and
                  Kevin Leyton{-}Brown},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Performance Prediction and Automated Tuning of Randomized and Parametric
                  Algorithms},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {213--228},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_17},
  doi          = {10.1007/11889205\_17},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HutterHHL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/IshtaiwiTASP06,
  author       = {Abdelraouf Ishtaiwi and
                  John Thornton and
                  Anbulagan and
                  Abdul Sattar and
                  Duc Nghia Pham},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Adaptive Clause Weight Redistribution},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {229--243},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_18},
  doi          = {10.1007/11889205\_18},
  timestamp    = {Mon, 25 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/IshtaiwiTASP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Jaulin06,
  author       = {Luc Jaulin},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Localization of an Underwater Robot Using Interval Constraint Propagation},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {244--255},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_19},
  doi          = {10.1007/11889205\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Jaulin06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JegouNT06,
  author       = {Philippe J{\'{e}}gou and
                  Samba Ndiaye and
                  Cyril Terrioux},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions
                  of {CSP}},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {741--745},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_62},
  doi          = {10.1007/11889205\_62},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JegouNT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JonssonKN06,
  author       = {Peter Jonsson and
                  Fredrik Kuivinen and
                  Gustav Nordh},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Approximability of Integer Programming with Generalised Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {256--270},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_20},
  doi          = {10.1007/11889205\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JonssonKN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KayaH06,
  author       = {Latife Gen{\c{c}} Kaya and
                  John N. Hooker},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {A Filter for the Circuit Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {706--710},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_55},
  doi          = {10.1007/11889205\_55},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KayaH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KhemmoudjB06,
  author       = {Mohand Ou Idir Khemmoudj and
                  Hachemi Bennaceur},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Clique Inference Process for Solving Max-CSP},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {746--750},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_63},
  doi          = {10.1007/11889205\_63},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KhemmoudjB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KhemmoudjPB06,
  author       = {Mohand Ou Idir Khemmoudj and
                  Marc Porcheron and
                  Hachemi Bennaceur},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {When Constraint Programming and Local Search Solve the Scheduling
                  Problem of Electricit{\'{e}} de France Nuclear Power Plant Outages},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {271--283},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_21},
  doi          = {10.1007/11889205\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/KhemmoudjPB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LecoutreS06,
  author       = {Christophe Lecoutre and
                  Radoslaw Szymanek},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Generalized Arc Consistency for Positive Table Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {284--298},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_22},
  doi          = {10.1007/11889205\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LecoutreS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LombardiM06,
  author       = {Michele Lombardi and
                  Michela Milano},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Stochastic Allocation and Scheduling for Conditional Task Graphs in
                  MPSoCs},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {299--313},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_23},
  doi          = {10.1007/11889205\_23},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LombardiM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MateescuD06,
  author       = {Robert Mateescu and
                  Rina Dechter},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Compiling Constraint Networks into {AND/OR} Multi-valued Decision
                  Diagrams (AOMDDs)},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {329--343},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_25},
  doi          = {10.1007/11889205\_25},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MateescuD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Merlet06,
  author       = {Jean{-}Pierre Merlet},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Interval Analysis and Robotics},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {15},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_3},
  doi          = {10.1007/11889205\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Merlet06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MichelSH06,
  author       = {Laurent Michel and
                  Andrew See and
                  Pascal Van Hentenryck},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Distributed Constraint-Based Local Search},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {344--358},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_26},
  doi          = {10.1007/11889205\_26},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MichelSH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MichelSH06a,
  author       = {Laurent Michel and
                  Andrew See and
                  Pascal Van Hentenryck},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {High-Level Nondeterministic Abstractions in},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {359--374},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_27},
  doi          = {10.1007/11889205\_27},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MichelSH06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Morris06,
  author       = {Paul Morris},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {A Structural Characterization of Temporal Dynamic Controllability},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {375--389},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_28},
  doi          = {10.1007/11889205\_28},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Morris06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NeveuCT06,
  author       = {Bertrand Neveu and
                  Gilles Chabert and
                  Gilles Trombettoni},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {When Interval Analysis Helps Inter-block Backtracking},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {390--405},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_29},
  doi          = {10.1007/11889205\_29},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/NeveuCT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/OttenGD06,
  author       = {Lars Otten and
                  Mattias Gr{\"{o}}nkvist and
                  Devdatt P. Dubhashi},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Randomization in Constraint Programming for Airline Planning},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {406--420},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_30},
  doi          = {10.1007/11889205\_30},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/OttenGD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PhamTS06,
  author       = {Duc Nghia Pham and
                  John Thornton and
                  Abdul Sattar},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Towards an Efficient {SAT} Encoding for Temporal Reasoning},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {421--436},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_31},
  doi          = {10.1007/11889205\_31},
  timestamp    = {Mon, 25 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/PhamTS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PraletSV06,
  author       = {C{\'{e}}dric Pralet and
                  Thomas Schiex and
                  G{\'{e}}rard Verfaillie},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Decomposition of Multi-operator Queries on Semiring-Based Graphical
                  Models},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {437--452},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_32},
  doi          = {10.1007/11889205\_32},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PraletSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Puget06,
  author       = {Jean{-}Fran{\c{c}}ois Puget},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Dynamic Lex Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {453--467},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_33},
  doi          = {10.1007/11889205\_33},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Puget06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/QuimperW06,
  author       = {Claude{-}Guy Quimper and
                  Toby Walsh},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Global Grammar Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {751--755},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_64},
  doi          = {10.1007/11889205\_64},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/QuimperW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RichterFN06,
  author       = {Yossi Richter and
                  Ari Freund and
                  Yehuda Naveh},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Generalizing AllDifferent: The SomeDifferent Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {468--483},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_34},
  doi          = {10.1007/11889205\_34},
  timestamp    = {Wed, 03 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/RichterFN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RollonL06,
  author       = {Emma Rollon and
                  Javier Larrosa},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Mini-bucket Elimination with Bucket Propagation},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {484--498},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_35},
  doi          = {10.1007/11889205\_35},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/RollonL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SamerS06,
  author       = {Marko Samer and
                  Stefan Szeider},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Constraint Satisfaction with Bounded Treewidth Revisited},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {499--513},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_36},
  doi          = {10.1007/11889205\_36},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SamerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SamulowitzDB06,
  author       = {Horst Samulowitz and
                  Jessica Davies and
                  Fahiem Bacchus},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Preprocessing {QBF}},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {514--529},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_37},
  doi          = {10.1007/11889205\_37},
  timestamp    = {Tue, 12 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SamulowitzDB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Sellmann06,
  author       = {Meinolf Sellmann},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {The Theory of Grammar Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {530--544},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_38},
  doi          = {10.1007/11889205\_38},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Sellmann06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Simonis06,
  author       = {Helmut Simonis},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Constraint Based Resilience Analysis},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {16--28},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_4},
  doi          = {10.1007/11889205\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Simonis06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Smith06,
  author       = {Barbara M. Smith},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Constraint Programming Models for Graceful Graphs},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {545--559},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_39},
  doi          = {10.1007/11889205\_39},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Smith06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/StreeterS06,
  author       = {Matthew J. Streeter and
                  Stephen F. Smith},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {A Simple Distribution-Free Approach to the Max \emph{k}-Armed Bandit
                  Problem},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {560--574},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_40},
  doi          = {10.1007/11889205\_40},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/StreeterS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SultanikMR06,
  author       = {Evan Sultanik and
                  Pragnesh Jay Modi and
                  William C. Regli},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Constraint Propagation for Domain Bounding in Distributed Task Scheduling},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {756--760},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_65},
  doi          = {10.1007/11889205\_65},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SultanikMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/TackSS06,
  author       = {Guido Tack and
                  Christian Schulte and
                  Gert Smolka},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Generating Propagators for Finite Set Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {575--589},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_41},
  doi          = {10.1007/11889205\_41},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/TackSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/TamuraTKB06,
  author       = {Naoyuki Tamura and
                  Akiko Taga and
                  Satoshi Kitagawa and
                  Mutsunori Banbara},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Compiling Finite Linear {CSP} into {SAT}},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {590--603},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_42},
  doi          = {10.1007/11889205\_42},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/TamuraTKB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/TiedemannHHA06,
  author       = {Peter Tiedemann and
                  Tarik Hadzic and
                  Thomas Stuart Henney and
                  Henrik Reif Andersen},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Interactive Distributed Configuration},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {761--765},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_66},
  doi          = {10.1007/11889205\_66},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/TiedemannHHA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/VergerB06,
  author       = {Guillaume Verger and
                  Christian Bessiere},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {: {A} Bottom-Up Approach for Solving Quantified CSPs},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {635--649},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_45},
  doi          = {10.1007/11889205\_45},
  timestamp    = {Fri, 04 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/VergerB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Walsh06,
  author       = {Toby Walsh},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {General Symmetry Breaking Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {650--664},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_46},
  doi          = {10.1007/11889205\_46},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Walsh06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZivanSZM06,
  author       = {Roie Zivan and
                  Uri Shapen and
                  Moshe Zazone and
                  Amnon Meisels},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Retroactive Ordering for Dynamic Backtracking},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {766--771},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_67},
  doi          = {10.1007/11889205\_67},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ZivanSZM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2006,
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205},
  doi          = {10.1007/11889205},
  isbn         = {3-540-46267-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics