附註:Includes bibliographical references (pages 387-400) and indexes.
Cover; Title; Copyright; Dedication; Contents; Acknowledgements; 1 Introduction; 2 Constraint satisfaction problems: examples; 3 Constraint programming in a nutshell; 4 Some complete constraint solvers; 5 Local consistency notions; 6 Some incomplete constraint solvers; 7 Constraint propagation algorithms; 8 Search; 9 Issues in constraint programming; Bibliography; Author index; Subject index.
摘要:Methods to solve constraint problems (e.g. scheduling) rely on the idea of constraint propagation and search. Using constraint techniques in programming environments has accelerated the solution process, combining ideas from artificial intelligence, programming languages, databases, and operational research. This text is a modern, multidisciplinary introduction covering both foundations and applications.