The book is currently out of stock
More about the book
The book presents a logic-driven, pattern-based approach to solving finite Constraint Satisfaction Problems (CSP), highlighting the pursuit of the simplest solutions. It introduces various families of resolution rules, each offering unique reasoning methods that embody distinct concepts of simplicity. This second edition enhances understanding of CSP through formalized reasoning techniques, making it a valuable resource for those interested in logic puzzles and constraint satisfaction.
Book purchase
Pattern-Based Constraint Satisfaction and Logic Puzzles (Second Edition), Denis Berthier
- Language
- Released
- 2015
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Pattern-Based Constraint Satisfaction and Logic Puzzles (Second Edition)
- Language
- English
- Authors
- Denis Berthier
- Publisher
- Lulu.com
- Released
- 2015
- Format
- Paperback
- Pages
- 568
- ISBN13
- 9781326350642
- Category
- Nature in general
- Description
- The book presents a logic-driven, pattern-based approach to solving finite Constraint Satisfaction Problems (CSP), highlighting the pursuit of the simplest solutions. It introduces various families of resolution rules, each offering unique reasoning methods that embody distinct concepts of simplicity. This second edition enhances understanding of CSP through formalized reasoning techniques, making it a valuable resource for those interested in logic puzzles and constraint satisfaction.