Lecture Notes in Computer Science

Principles and Practice of Constraint Programming - CP 2004

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

Editors: Wallace, Mark (Ed.)

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-3-540-30201-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $189.00
price for USA
  • ISBN 978-3-540-23241-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (97 chapters)

  • Constraints in Program Analysis and Verification

    Podelski, Andreas

    Pages 1-4

  • Constraint Programming Next Challenge: Simplicity of Use

    Puget, Jean-Francois

    Pages 5-8

  • Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics

    Selman, Bart

    Pages 9-12

  • Challenges for Constraint Programming in Networking

    Simonis, Helmut

    Pages 13-16

  • Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness

    Gao, Yong (et al.)

    Pages 17-31

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-3-540-30201-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $189.00
price for USA
  • ISBN 978-3-540-23241-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Principles and Practice of Constraint Programming - CP 2004
Book Subtitle
10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings
Editors
  • Mark Wallace
Series Title
Lecture Notes in Computer Science
Series Volume
3258
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-30201-8
DOI
10.1007/b100482
Softcover ISBN
978-3-540-23241-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XXXIV, 826
Topics