Handbook of Constraint Programming [1st ed] 9780444527264, 0444527265

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