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 email you as soon as we track it down.
Payment methods
No one has rated yet.