Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9255)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): CP: International Conference on Principles and Practice of Constraint Programming
Conference proceedings info: CP 2015.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (49 papers)
-
Front Matter
-
Technical Track
-
Front Matter
-
About this book
This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015).
The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning.
Keywords
- algorithms
- artificial intelligence
- constraint programming
- distributed constraint satisfaction problem
- logic
- best-first search
- cost function networks
- cumulative constraint
- large-scale
- markov constraints
- MaxSAT
- minimal network
- network flow problem
- operations research
- regular constraint
- SAT
- scheduling
- solvers
- traffic engineering
- algorithm analysis and problem complexity
Editors and Affiliations
-
École Polytechnique de Montréal, Montréal, Canada
Gilles Pesant
Bibliographic Information
Book Title: Principles and Practice of Constraint Programming
Book Subtitle: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
Editors: Gilles Pesant
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-23219-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-23218-8Published: 13 August 2015
eBook ISBN: 978-3-319-23219-5Published: 12 August 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIV, 747
Number of Illustrations: 191 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Mathematics of Computing, Artificial Intelligence, Algorithm Analysis and Problem Complexity