Handbook of Constraint Programming [1st ed] 9780444527264, 0444527265
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of te
225 123 291KB
English Pages 3-955 [977] Year 2006
Table of contents :
Content:
Foundations of Artificial Intelligence
Page ii
Front Matter
Page iii
Copyright page
Page iv
Foreword
Pages v-vi
Ugo Montanari
Editors
Page vii
Contributors
Pages ix-xi
Chapter 1 - Introduction
Pages 3-12
Francesca Rossi, Peter van Beek, Toby Walsh
Chapter 2 - Constraint Satisfaction: An Emerging Paradigm
Pages 13-27
Eugene C. Freuder, Alan K. Mackworth
Chapter 3 - Constraint Propagation
Pages 29-83
Christian Bessiere
Chapter 4 - Backtracking Search Algorithms
Pages 85-134
Peter van Beek
Chapter 5 - Local Search Methods
Pages 135-167
Holger H. Hoos, Edward Tsang
Chapter 6 - Global Constraints
Pages 169-208
Willem-Jan van Hoeve, Irit Katriel
Chapter 7 - Tractable Structures for Constraint Satisfaction Problems
Pages 209-244
Rina Dechter
Chapter 8 - The Complexity of Constraint Languages
Pages 245-280
David Cohen, Peter Jeavons
Chapter 9 - Soft Constraints
Pages 281-328
Pedro Meseguer, Francesca Rossi, Thomas Schiex
Chapter 10 - Symmetry in Constraint Programming
Pages 329-376
Ian P. Gent, Karen E. Petrie, Jean-François Puget
Chapter 11 - Modelling
Pages 377-406
Barbara M. Smith
Chapter 12 - Constraint Logic Programming
Pages 409-452
Kim Marriott, Peter J. Stuckey, Mark Wallace
Chapter 13 - Constraints in Procedural and Concurrent Languages
Pages 453-494
Thom Frühwirth, Laurent Michel, Christian Schulte
Chapter 14 - Finite Domain Constraint Programming Systems
Pages 495-526
Christian Schulte, Mats Carlsson
Chapter 15 - Operations Research Methods in Constraint Programming
Pages 527-570
John N. Hooker
Chapter 16 - Continuous and Interval Constraints
Pages 571-603
Frédéric Benhamou, Laurent Granvilliers
Chapter 17 - Constraints over Structured Domains
Pages 605-638
Carmen Gervet
Chapter 18 - Randomness and Structure
Pages 639-664
Carla Gomes, Toby Walsh
Chapter 19 - Temporal CSPs
Pages 665-697
Manolis Koubarakis
Chapter 20 - Distributed Constraint Programming
Pages 699-729
Boi Faltings
Chapter 21 - Uncertainty and Change
Pages 731-760
Kenneth N. Brown, Ian Miguel
Chapter 22 - Constraint-Based Scheduling and Planning
Pages 761-799
Philippe Baptiste, Philippe Laborie, Claude Le Pape, Wim Nuijten
Chapter 23 - Vehicle Routing
Pages 801-836
Philip Kilby, Paul Shaw
Chapter 24 - Configuration
Pages 837-873
Ulrich Junker
Chapter 25 - Constraint Applications in Networks
Pages 875-903
Helmut Simonis
Chapter 26 - Bioinformatics and Constraints
Pages 905-944
Rolf Backofen, David Gilbert
Index
Pages 945-955
Content:
Foundations of Artificial Intelligence
Page ii
Front Matter
Page iii
Copyright page
Page iv
Foreword
Pages v-vi
Ugo Montanari
Editors
Page vii
Contributors
Pages ix-xi
Chapter 1 - Introduction
Pages 3-12
Francesca Rossi, Peter van Beek, Toby Walsh
Chapter 2 - Constraint Satisfaction: An Emerging Paradigm
Pages 13-27
Eugene C. Freuder, Alan K. Mackworth
Chapter 3 - Constraint Propagation
Pages 29-83
Christian Bessiere
Chapter 4 - Backtracking Search Algorithms
Pages 85-134
Peter van Beek
Chapter 5 - Local Search Methods
Pages 135-167
Holger H. Hoos, Edward Tsang
Chapter 6 - Global Constraints
Pages 169-208
Willem-Jan van Hoeve, Irit Katriel
Chapter 7 - Tractable Structures for Constraint Satisfaction Problems
Pages 209-244
Rina Dechter
Chapter 8 - The Complexity of Constraint Languages
Pages 245-280
David Cohen, Peter Jeavons
Chapter 9 - Soft Constraints
Pages 281-328
Pedro Meseguer, Francesca Rossi, Thomas Schiex
Chapter 10 - Symmetry in Constraint Programming
Pages 329-376
Ian P. Gent, Karen E. Petrie, Jean-François Puget
Chapter 11 - Modelling
Pages 377-406
Barbara M. Smith
Chapter 12 - Constraint Logic Programming
Pages 409-452
Kim Marriott, Peter J. Stuckey, Mark Wallace
Chapter 13 - Constraints in Procedural and Concurrent Languages
Pages 453-494
Thom Frühwirth, Laurent Michel, Christian Schulte
Chapter 14 - Finite Domain Constraint Programming Systems
Pages 495-526
Christian Schulte, Mats Carlsson
Chapter 15 - Operations Research Methods in Constraint Programming
Pages 527-570
John N. Hooker
Chapter 16 - Continuous and Interval Constraints
Pages 571-603
Frédéric Benhamou, Laurent Granvilliers
Chapter 17 - Constraints over Structured Domains
Pages 605-638
Carmen Gervet
Chapter 18 - Randomness and Structure
Pages 639-664
Carla Gomes, Toby Walsh
Chapter 19 - Temporal CSPs
Pages 665-697
Manolis Koubarakis
Chapter 20 - Distributed Constraint Programming
Pages 699-729
Boi Faltings
Chapter 21 - Uncertainty and Change
Pages 731-760
Kenneth N. Brown, Ian Miguel
Chapter 22 - Constraint-Based Scheduling and Planning
Pages 761-799
Philippe Baptiste, Philippe Laborie, Claude Le Pape, Wim Nuijten
Chapter 23 - Vehicle Routing
Pages 801-836
Philip Kilby, Paul Shaw
Chapter 24 - Configuration
Pages 837-873
Ulrich Junker
Chapter 25 - Constraint Applications in Networks
Pages 875-903
Helmut Simonis
Chapter 26 - Bioinformatics and Constraints
Pages 905-944
Rolf Backofen, David Gilbert
Index
Pages 945-955
![Handbook of Constraint Programming [1st ed]
9780444527264, 0444527265](https://ebin.pub/img/200x200/handbook-of-constraint-programming-1st-ed-9780444527264-0444527265.jpg)
- Author / Uploaded
- Francesca Rossi
- Peter van Beek and Toby Walsh (Eds.)
- Similar Topics
- Computers
- Programming
![Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings [1st ed.]
9783030584740, 9783030584757](https://ebin.pub/img/200x200/principles-and-practice-of-constraint-programming-26th-international-conference-cp-2020-louvain-la-neuve-belgium-september-711-2020-proceedings-1st-ed-9783030584740-9783030584757.jpg)
![Handbook of Patriotism [1st ed.]
9783319544830, 9783319544847](https://ebin.pub/img/200x200/handbook-of-patriotism-1st-ed-9783319544830-9783319544847.jpg)
![Handbook of Chemical Engineering [1st ed.]](https://ebin.pub/img/200x200/handbook-of-chemical-engineering-1stnbsped.jpg)
![Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings [1st ed.]
9783030589417, 9783030589424](https://ebin.pub/img/200x200/integration-of-constraint-programming-artificial-intelligence-and-operations-research-17th-international-conference-cpaior-2020-vienna-austria-september-2124-2020-proceedings-1st-ed-9783030589417-9783030589424.jpg)
![Linux Sound Programming [1st ed.]
1484224957, 9781484224953](https://ebin.pub/img/200x200/linux-sound-programming-1st-ed-1484224957-9781484224953.jpg)
![Advanced Perl Programming [1st ed]
9781565922204, 1565922204](https://ebin.pub/img/200x200/advanced-perl-programming-1st-ed-9781565922204-1565922204.jpg)
![Advanced .NET Programming [1st ed.]](https://ebin.pub/img/200x200/advanced-net-programming-1stnbsped.jpg)
![Network programming [1st ed.]
9780136154938, 013615493X](https://ebin.pub/img/200x200/network-programming-1stnbsped-9780136154938-013615493x.jpg)