Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Principles and Practice of Constraint Programming - CP 2004

10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Mark Wallace

    1. Clayton School of IT, Monash University, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3258)

Included in the following conference series:

Conference proceedings info: CP 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

The 10th International Conference on the Principles and Practice of Constraint Programming (CP 2003) was held in Toronto, Canada, during September 27 – October 1, 2004. Information about the conference can be found on the Web at http://ai.uwaterloo.ca/~cp2004/ Constraint programming (CP) is about problem modelling, problem solving, programming, optimization, software engineering, databases, visualization, user interfaces, and anything to do with satisfying complex constraints. It reaches into mathematics, operations research, arti?cial intelligence, algorithms, c- plexity, modelling and programming languages, and many aspects of computer science. Moreover, CP is never far from applications, and its successful use in industry and government goes hand in hand with the success of the CP research community. Constraintprogrammingcontinuesto beanexciting,?ourishingandgrowing research?eld,astheannualCPconferenceproceedingsamplywitness.Thisyear, from 158 submissions, we chose 46 to be published in full in the proceedings. Instead of selecting one overall best paper, we picked out four “distinguished” papers – though we were tempted to select at least 12 such papers. In addition we included 16 short papersin the proceedings– these were presentedas posters at CP 2004. This volume includes summaries of the four invited talks of CP 2004. Two speakers from industry were invited. However these were no ordinary industrial representatives,buttwoofthe leadingresearchersinthe CPcommunity:Helmut Simonis of Parc Technologies, until its recent takeover by Cisco Systems; and Jean Francoi ¸ s Puget, Director of Optimization Technology at ILOG. The other two invited speakers are also big movers and shakers in the researchcommunity.

Similar content being viewed by others

Keywords

Table of contents (97 papers)

  1. Front Matter

    Download chapter PDF

  3. Distinguished Papers

    1. Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness

      • Yong Gao, Joseph Culberson
      Pages 17-31

    2. Statistical Regimes Across Constrainedness Regions

      • Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere
      Pages 32-46

    3. Constraint-Based Combinators for Local Search

      • Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
      Pages 47-61

    4. Unary Resource Constraint with Optional Activities

      • Petr Vilím, Roman Barták, Ondřej Čepek
      Pages 62-76

  4. Full Papers

    1. Constraint Propagation as a Proof System

      • Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi
      Pages 77-91

    2. Backtrack-Free Search for Real-Time Constraint Satisfaction

      • J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski
      Pages 92-106

    3. Deriving Filtering Algorithms from Constraint Checkers

      • Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
      Pages 107-122

    4. Leveraging the Learning Power of Examples in Automated Constraint Acquisition

      • Christian Bessiere, Remi Coletta, Eugene C. Freuder, Barry O’Sullivan
      Pages 123-137

    5. Disjoint, Partition and Intersection Constraints for Set and Multiset Variables

      • Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh
      Pages 138-152

    6. Decomposition and Learning for a Hard Real Time Task Allocation Problem

      • Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet
      Pages 153-167

    7. Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms

      • Hubie Chen
      Pages 168-181

    8. (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability

      • Hubie Chen, Víctor Dalmau
      Pages 182-196

    9. Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory

      • Vincent A. Cicirello, Stephen F. Smith
      Pages 197-211

    10. A Complete Characterization of Complexity for Boolean Constraint Optimization Problems

      • David Cohen, Martin Cooper, Peter Jeavons
      Pages 212-226

    11. Financial Portfolio Optimisation

      • Pierre Flener, Justin Pearson, Luis G. Reyna
      Pages 227-241
Back to top

Other volumes

  1. Principles and Practice of Constraint Programming – CP 2004

Editors and Affiliations

  • Clayton School of IT, Monash University, Australia

    Mark Wallace

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation