![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/cp/cp2006.bht:"
@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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.