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/cp2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/cp/AndersenHHT07,
author = {Henrik Reif Andersen and
Tarik Hadzic and
John N. Hooker and
Peter Tiedemann},
editor = {Christian Bessiere},
title = {A Constraint Store Based on Multivalued Decision Diagrams},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {118--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_11},
doi = {10.1007/978-3-540-74970-7\_11},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AndersenHHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnguloT07,
author = {Vicente Ruiz de Angulo and
Carme Torras},
editor = {Christian Bessiere},
title = {Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {864--871},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_65},
doi = {10.1007/978-3-540-74970-7\_65},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnguloT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Bacchus07,
author = {Fahiem Bacchus},
editor = {Christian Bessiere},
title = {Caching in Backtracking Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_1},
doi = {10.1007/978-3-540-74970-7\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Bacchus07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Bacchus07a,
author = {Fahiem Bacchus},
editor = {Christian Bessiere},
title = {{GAC} Via Unit Propagation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {133--147},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_12},
doi = {10.1007/978-3-540-74970-7\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Bacchus07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BacchusS07,
author = {Fahiem Bacchus and
Kostas Stergiou},
editor = {Christian Bessiere},
title = {Solution Directed Backjumping for {QCSP}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {148--163},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_13},
doi = {10.1007/978-3-540-74970-7\_13},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BacchusS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BayerMCK07,
author = {Kenneth M. Bayer and
Martin Michalowski and
Berthe Y. Choueiry and
Craig A. Knoblock},
editor = {Christian Bessiere},
title = {Reformulating CSPs for Scalability with Application to Geospatial
Reasoning},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {164--179},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_14},
doi = {10.1007/978-3-540-74970-7\_14},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BayerMCK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeaumetVC07,
author = {Gr{\'{e}}gory Beaumet and
G{\'{e}}rard Verfaillie and
Marie{-}Claire Charmeau},
editor = {Christian Bessiere},
title = {Estimation of the Minimal Duration of an Attitude Change for an Autonomous
Agile Earth-Observing Satellite},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {3--17},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_3},
doi = {10.1007/978-3-540-74970-7\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeaumetVC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCPST07,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Emmanuel Poder and
R. Sadek and
Charlotte Truchet},
editor = {Christian Bessiere},
title = {A Generic Geometrical Constraint Kernel in Space and Time for Handling
Polymorphic \emph{k}-Dimensional Objects},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {180--194},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_15},
doi = {10.1007/978-3-540-74970-7\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCPST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BenhamouS07,
author = {Belaid Benhamou and
Mohamed R{\'{e}}da Sa{\"{\i}}di},
editor = {Christian Bessiere},
title = {Local Symmetry Breaking During Search in CSPs},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {195--209},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_16},
doi = {10.1007/978-3-540-74970-7\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BenhamouS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BistarelliPRV07,
author = {Stefano Bistarelli and
Maria Silvia Pini and
Francesca Rossi and
Kristen Brent Venable},
editor = {Christian Bessiere},
title = {Uncertainty in Bipolar Preference Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {782--789},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_55},
doi = {10.1007/978-3-540-74970-7\_55},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BistarelliPRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BistarelliPT07,
author = {Stefano Bistarelli and
Pamela Peretti and
Irina Trubitsyna},
editor = {Christian Bessiere},
title = {Answer Set Optimization for and/or Composition of CP-Nets: {A} Security
Scenario},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {773--781},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_54},
doi = {10.1007/978-3-540-74970-7\_54},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BistarelliPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BordeauxHV07,
author = {Lucas Bordeaux and
Youssef Hamadi and
Moshe Y. Vardi},
editor = {Christian Bessiere},
title = {An Analysis of Slow Convergence in Interval Propagation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {790--797},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_56},
doi = {10.1007/978-3-540-74970-7\_56},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BordeauxHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BrandNQSW07,
author = {Sebastian Brand and
Nina Narodytska and
Claude{-}Guy Quimper and
Peter J. Stuckey and
Toby Walsh},
editor = {Christian Bessiere},
title = {Encodings of the Sequence Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {210--224},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_17},
doi = {10.1007/978-3-540-74970-7\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BrandNQSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BrielBKV07,
author = {Menkes van den Briel and
J. Benton and
Subbarao Kambhampati and
Thomas Vossen},
editor = {Christian Bessiere},
title = {An LP-Based Heuristic for Optimal Planning},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {651--665},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_46},
doi = {10.1007/978-3-540-74970-7\_46},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BrielBKV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChenouardSG07,
author = {Rapha{\"{e}}l Chenouard and
Patrick S{\'{e}}bastian and
Laurent Granvilliers},
editor = {Christian Bessiere},
title = {Solving an Air Conditioning System Problem in an Embodiment Design
Context Using Constraint Satisfaction Techniques},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {18--32},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_4},
doi = {10.1007/978-3-540-74970-7\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChenouardSG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChoiL07,
author = {Chiu Wo Choi and
Jimmy Ho{-}Man Lee},
editor = {Christian Bessiere},
title = {Solving the Salinity Control Problem in a Potable Water System},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {33--48},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_5},
doi = {10.1007/978-3-540-74970-7\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChoiL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CohenJZ07,
author = {David A. Cohen and
Peter Jeavons and
Stanislav Zivn{\'{y}}},
editor = {Christian Bessiere},
title = {The Expressive Power of Valued Constraints: Hierarchies and Collapses},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {798--805},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_57},
doi = {10.1007/978-3-540-74970-7\_57},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CohenJZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CollavizzaR07,
author = {H{\'{e}}l{\`{e}}ne Collavizza and
Michel Rueher},
editor = {Christian Bessiere},
title = {Exploring Different Constraint-Based Modelings for Program Verification},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {49--63},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_6},
doi = {10.1007/978-3-540-74970-7\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CollavizzaR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CondottaLS07,
author = {Jean{-}Fran{\c{c}}ois Condotta and
G{\'{e}}rard Ligozat and
Mahmoud Saade},
editor = {Christian Bessiere},
title = {Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint
Networks},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {806--814},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_58},
doi = {10.1007/978-3-540-74970-7\_58},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CondottaLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DarrasDDL07,
author = {Sylvain Darras and
Gilles Dequen and
Laure Devendeville and
Chu Min Li},
editor = {Christian Bessiere},
title = {On Inconsistent Clause-Subsets for Max-SAT Solving},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {225--240},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_18},
doi = {10.1007/978-3-540-74970-7\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DarrasDDL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DavenportKRSH07,
author = {Andrew J. Davenport and
Jayant Kalagnanam and
Chandra Reddy and
Stuart Siegel and
John Hou},
editor = {Christian Bessiere},
title = {An Application of Constraint Programming to Generating Detailed Operations
Schedules for Steel Manufacturing},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {64--76},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_7},
doi = {10.1007/978-3-540-74970-7\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DavenportKRSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DenmatGD07,
author = {Tristan Denmat and
Arnaud Gotlieb and
Mireille Ducass{\'{e}}},
editor = {Christian Bessiere},
title = {An Abstract Interpretation Based Combinator for Modelling While Loops
in Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {241--255},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_19},
doi = {10.1007/978-3-540-74970-7\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DenmatGD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DilkinaGS07,
author = {Bistra Dilkina and
Carla P. Gomes and
Ashish Sabharwal},
editor = {Christian Bessiere},
title = {Tradeoffs in the Complexity of Backdoor Detection},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {256--270},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_20},
doi = {10.1007/978-3-540-74970-7\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DilkinaGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DoomsHM07,
author = {Gr{\'{e}}goire Dooms and
Pascal Van Hentenryck and
Laurent Michel},
editor = {Christian Bessiere},
title = {Model-Driven Visualizations of Constraint-Based Local Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {271--285},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_21},
doi = {10.1007/978-3-540-74970-7\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DoomsHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GarganiR07,
author = {Antoine Gargani and
Philippe Refalo},
editor = {Christian Bessiere},
title = {An Efficient Model and Strategy for the Steel Mill Slab Design Problem},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {77--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_8},
doi = {10.1007/978-3-540-74970-7\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GarganiR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Gavanelli07,
author = {Marco Gavanelli},
editor = {Christian Bessiere},
title = {The Log-Support Encoding of {CSP} into {SAT}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {815--822},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_59},
doi = {10.1007/978-3-540-74970-7\_59},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/Gavanelli07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GelainPRV07,
author = {Mirco Gelain and
Maria Silvia Pini and
Francesca Rossi and
Kristen Brent Venable},
editor = {Christian Bessiere},
title = {Dealing with Incomplete Preferences in Soft Constraint Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {286--300},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_22},
doi = {10.1007/978-3-540-74970-7\_22},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/GelainPRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GennariM07,
author = {Rosella Gennari and
Ornella Mich},
editor = {Christian Bessiere},
title = {Constraint-Based Temporal Reasoning for E-Learning with {LODE}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {90--104},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_9},
doi = {10.1007/978-3-540-74970-7\_9},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GennariM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentKLPR07,
author = {Ian P. Gent and
Tom Kelsey and
Stephen A. Linton and
J. Pearson and
Colva M. Roney{-}Dougal},
editor = {Christian Bessiere},
title = {Groupoids and Conditional Symmetry},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {823--830},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_60},
doi = {10.1007/978-3-540-74970-7\_60},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentKLPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GereviniS07,
author = {Alfonso Gerevini and
Alessandro Saetti},
editor = {Christian Bessiere},
title = {Efficient Computation of Minimal Point Algebra Constraints by Metagraph
Closure},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {301--316},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_23},
doi = {10.1007/978-3-540-74970-7\_23},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GereviniS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Ginsberg07,
author = {Matthew L. Ginsberg},
editor = {Christian Bessiere},
title = {Of Mousetraps and Men: {A} Cautionary Tale},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {2},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_2},
doi = {10.1007/978-3-540-74970-7\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Ginsberg07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GregoireMP07,
author = {{\'{E}}ric Gr{\'{e}}goire and
Bertrand Mazure and
C{\'{e}}dric Piette},
editor = {Christian Bessiere},
title = {{MUST:} Provide a Finer-Grained Explanation of Unsatisfiability},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {317--331},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_24},
doi = {10.1007/978-3-540-74970-7\_24},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GregoireMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GrimesW07,
author = {Diarmuid Grimes and
Richard J. Wallace},
editor = {Christian Bessiere},
title = {Sampling Strategies and Variable Selection in Weighted Degree Heuristics},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {831--838},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_61},
doi = {10.1007/978-3-540-74970-7\_61},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GrimesW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HalimYL07,
author = {Steven Halim and
Roland H. C. Yap and
Hoong Chuin Lau},
editor = {Christian Bessiere},
title = {An Integrated White+Black Box Approach for Designing and Tuning Stochastic
Local Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {332--347},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_25},
doi = {10.1007/978-3-540-74970-7\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/HalimYL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Huang07,
author = {Jinbo Huang},
editor = {Christian Bessiere},
title = {A Case for Simple {SAT} Solvers},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {839--846},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_62},
doi = {10.1007/978-3-540-74970-7\_62},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Huang07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JarvisaloJ07,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila},
editor = {Christian Bessiere},
title = {Limitations of Restricted Branching in Clause Learning},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {348--363},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_26},
doi = {10.1007/978-3-540-74970-7\_26},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/JarvisaloJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JegouNT07,
author = {Philippe J{\'{e}}gou and
Samba Ndiaye and
Cyril Terrioux},
editor = {Christian Bessiere},
title = {Dynamic Management of Heuristics for Solving Structured CSPs},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {364--378},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_27},
doi = {10.1007/978-3-540-74970-7\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/JegouNT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KatsirelosW07,
author = {George Katsirelos and
Toby Walsh},
editor = {Christian Bessiere},
title = {A Compression Algorithm for Large Arity Extensional Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {379--393},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_28},
doi = {10.1007/978-3-540-74970-7\_28},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KatsirelosW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KhemmoudjB07,
author = {Mohand Ou Idir Khemmoudj and
Hachemi Bennaceur},
editor = {Christian Bessiere},
title = {Valid Inequality Based Lower Bounds for {WCSP}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {394--408},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_29},
doi = {10.1007/978-3-540-74970-7\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KhemmoudjB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KiziltanLMP07,
author = {Zeynep Kiziltan and
Andrea Lodi and
Michela Milano and
Fabio Parisini},
editor = {Christian Bessiere},
title = {CP-Based Local Branching},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {847--855},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_63},
doi = {10.1007/978-3-540-74970-7\_63},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KiziltanLMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KrogtLPHJ07,
author = {Roman van der Krogt and
James Little and
Kenneth Pulliam and
Sue Hanhilammi and
Yue Jin},
editor = {Christian Bessiere},
title = {Scheduling for Cellular Manufacturing},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {105--117},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_10},
doi = {10.1007/978-3-540-74970-7\_10},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KrogtLPHJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LagerkvistS07,
author = {Mikael Z. Lagerkvist and
Christian Schulte},
editor = {Christian Bessiere},
title = {Advisors for Incremental Propagation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {409--422},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_30},
doi = {10.1007/978-3-540-74970-7\_30},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/LagerkvistS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LawLWY07,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
Toby Walsh and
J. Y. K. Yip},
editor = {Christian Bessiere},
title = {Breaking Symmetry of Interchangeable Variables and Values},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {423--437},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_31},
doi = {10.1007/978-3-540-74970-7\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LawLWY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LecoutreCV07,
author = {Christophe Lecoutre and
St{\'{e}}phane Cardon and
Julien Vion},
editor = {Christian Bessiere},
title = {Path Consistency by Dual Consistency},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {438--452},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_32},
doi = {10.1007/978-3-540-74970-7\_32},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LecoutreCV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LecoutreSTV07,
author = {Christophe Lecoutre and
Lakhdar Sais and
S{\'{e}}bastien Tabary and
Vincent Vidal},
editor = {Christian Bessiere},
title = {Exploiting Past and Future: Pruning by Inconsistent Partial State
Dominance},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {453--467},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_33},
doi = {10.1007/978-3-540-74970-7\_33},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/LecoutreSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LombardiM07,
author = {Michele Lombardi and
Michela Milano},
editor = {Christian Bessiere},
title = {Scheduling Conditional Task Graphs},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {468--482},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_34},
doi = {10.1007/978-3-540-74970-7\_34},
timestamp = {Wed, 31 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LombardiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MateescuMD07,
author = {Robert Mateescu and
Radu Marinescu and
Rina Dechter},
editor = {Christian Bessiere},
title = {{AND/OR} Multi-valued Decision Diagrams for Constraint Optimization},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {498--513},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_36},
doi = {10.1007/978-3-540-74970-7\_36},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MateescuMD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MichelSH07,
author = {Laurent Michel and
Andrew See and
Pascal Van Hentenryck},
editor = {Christian Bessiere},
title = {Parallelizing Constraint Programs Transparently},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {514--528},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_37},
doi = {10.1007/978-3-540-74970-7\_37},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MichelSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NethercoteSBBDT07,
author = {Nicholas Nethercote and
Peter J. Stuckey and
Ralph Becket and
Sebastian Brand and
Gregory J. Duck and
Guido Tack},
editor = {Christian Bessiere},
title = {MiniZinc: Towards a Standard {CP} Modelling Language},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {529--543},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_38},
doi = {10.1007/978-3-540-74970-7\_38},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/NethercoteSBBDT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/OhrimenkoSC07,
author = {Olga Ohrimenko and
Peter J. Stuckey and
Michael Codish},
editor = {Christian Bessiere},
title = {Propagation = Lazy Clause Generation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {544--558},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_39},
doi = {10.1007/978-3-540-74970-7\_39},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/OhrimenkoSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PeintnerVY07,
author = {Bart Peintner and
Kristen Brent Venable and
Neil Yorke{-}Smith},
editor = {Christian Bessiere},
title = {Strong Controllability of Disjunctive Temporal Problems with Uncertainty},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {856--863},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_64},
doi = {10.1007/978-3-540-74970-7\_64},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PeintnerVY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PetitG07,
author = {Matthieu Petit and
Arnaud Gotlieb},
editor = {Christian Bessiere},
title = {Boosting Probabilistic Choice Operators},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {559--573},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_40},
doi = {10.1007/978-3-540-74970-7\_40},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PetitG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PulinaT07,
author = {Luca Pulina and
Armando Tacchella},
editor = {Christian Bessiere},
title = {A Multi-engine Solver for Quantified Boolean Formulas},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {574--589},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_41},
doi = {10.1007/978-3-540-74970-7\_41},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PulinaT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/QuimperW07,
author = {Claude{-}Guy Quimper and
Toby Walsh},
editor = {Christian Bessiere},
title = {Decomposing Global Grammar Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {590--604},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_42},
doi = {10.1007/978-3-540-74970-7\_42},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/QuimperW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RamirezG07,
author = {Miquel Ram{\'{\i}}rez and
Hector Geffner},
editor = {Christian Bessiere},
title = {Structural Relaxations by Variable Renaming and Their Compilation
for Solving MinCostSAT},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {605--619},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_43},
doi = {10.1007/978-3-540-74970-7\_43},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/RamirezG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchausDD07,
author = {Pierre Schaus and
Yves Deville and
Pierre Dupont},
editor = {Christian Bessiere},
title = {Bound-Consistent Deviation Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {620--634},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_44},
doi = {10.1007/978-3-540-74970-7\_44},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SchausDD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SilvaL07,
author = {Jo{\~{a}}o Marques{-}Silva and
In{\^{e}}s Lynce},
editor = {Christian Bessiere},
title = {Towards Robust {CNF} Encodings of Cardinality Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {483--497},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_35},
doi = {10.1007/978-3-540-74970-7\_35},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SilvaL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SmithBO07,
author = {Barbara M. Smith and
Stefano Bistarelli and
Barry O'Sullivan},
editor = {Christian Bessiere},
title = {Constraint Symmetry for the Soft {CSP}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {872--879},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_66},
doi = {10.1007/978-3-540-74970-7\_66},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SmithBO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/TrombettoniC07,
author = {Gilles Trombettoni and
Gilles Chabert},
editor = {Christian Bessiere},
title = {Constructive Interval Disjunction},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {635--650},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_45},
doi = {10.1007/978-3-540-74970-7\_45},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/TrombettoniC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Walsh07,
author = {Toby Walsh},
editor = {Christian Bessiere},
title = {Breaking Value Symmetry},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {880--887},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_67},
doi = {10.1007/978-3-540-74970-7\_67},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Walsh07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WilsonGF07,
author = {Nic Wilson and
Diarmuid Grimes and
Eugene C. Freuder},
editor = {Christian Bessiere},
title = {A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation
of CSPs},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {666--680},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_47},
doi = {10.1007/978-3-540-74970-7\_47},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/WilsonGF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WuB07,
author = {Huayue Wu and
Peter van Beek},
editor = {Christian Bessiere},
title = {On Universal Restart Strategies for Backtracking Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {681--695},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_48},
doi = {10.1007/978-3-540-74970-7\_48},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/WuB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/XuHHL07,
author = {Lin Xu and
Frank Hutter and
Holger H. Hoos and
Kevin Leyton{-}Brown},
editor = {Christian Bessiere},
title = {: The Design and Analysis of an Algorithm Portfolio for {SAT}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {712--727},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_50},
doi = {10.1007/978-3-540-74970-7\_50},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/XuHHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/XuHL07,
author = {Lin Xu and
Holger H. Hoos and
Kevin Leyton{-}Brown},
editor = {Christian Bessiere},
title = {Hierarchical Hardness Models for {SAT}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {696--711},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_49},
doi = {10.1007/978-3-540-74970-7\_49},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/XuHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZampelliDSSD07,
author = {St{\'{e}}phane Zampelli and
Yves Deville and
Christine Solnon and
S{\'{e}}bastien Sorlin and
Pierre Dupont},
editor = {Christian Bessiere},
title = {Filtering for Subgraph Isomorphism},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {728--742},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_51},
doi = {10.1007/978-3-540-74970-7\_51},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ZampelliDSSD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZanariniP07,
author = {Alessandro Zanarini and
Gilles Pesant},
editor = {Christian Bessiere},
title = {Solution Counting Algorithms for Constraint-Centered Search Heuristics},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {743--757},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_52},
doi = {10.1007/978-3-540-74970-7\_52},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ZanariniP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZivanZM07,
author = {Roie Zivan and
Moshe Zazone and
Amnon Meisels},
editor = {Christian Bessiere},
title = {Min-Domain Ordering for Asynchronous Backtracking},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {758--772},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_53},
doi = {10.1007/978-3-540-74970-7\_53},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ZivanZM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2007,
editor = {Christian Bessiere},
title = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7},
doi = {10.1007/978-3-540-74970-7},
isbn = {978-3-540-74969-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/2007.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-06-05 22:49 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:
