Principles of constraint programming

著者

• Apt, Krzysztof R.

書誌事項

Principles of constraint programming

Krzysztof R. Apt

Cambridge University Press, 2003

注記

Includes bibliographical references and index

内容説明・目次

内容説明

Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in a programming environment. It draws on methods from combinatorial optimisation and artificial intelligence, and has been successfully applied in a number of fields from scheduling, computational biology, finance, electrical engineering and operations research through to numerical analysis. This textbook for upper-division students provides a thorough and structured account of the main aspects of constraint programming. The author provides many worked examples that illustrate the usefulness and versatility of this approach to programming, as well as many exercises throughout the book that illustrate techniques, test skills and extend the text. Pointers to current research, extensive historical and bibliographic notes, and a comprehensive list of references will also be valuable to professionals in computer science and artificial intelligence.

目次

• 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. General programming issues
• Bibliography
• Index.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA63532846
• ISBN:
  • 0521825830
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge
• ページ数/冊数: xii, 407 p.
• 大きさ: 26 cm
• 分類:
  • DC21 : 005.11
• 件名:
  • LCSH : Constraint programming (Computer science)