Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cp/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 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-07-30 01:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
