Pattern-Based Constraint Satisfaction and Logic Puzzles

Denis Berthier

Pattern-Based Constraint Satisfaction and Logic Puzzles
Format
Hardback
Publisher
Lulu.com
Published
17 November 2021
Pages
608
ISBN
9781471785931

Pattern-Based Constraint Satisfaction and Logic Puzzles

Denis Berthier

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

"Pattern-Based Constraint Satisfaction and Logic Puzzles (Third Edition)" develops a pure logic, pattern-based perspective of solving the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the "simplest" solution. Different ways of reasoning with the constraints are formalised by various families of "resolution rules", each of them carrying its own notion of simplicity. A large part of the book illustrates the power of the approach by applying it to various popular logic puzzles. It provides a unified view of how to model and solve them, even though they involve very different types of constraints: obvious symmetric ones in Sudoku, non-symmetric but transitive ones in Futoshiki, topological and geometric ones in Map colouring, Numbrix and Hidato, non-binary arithmetic ones in Kakuro and both non-binary and non-local ones in Slitherlink. It also shows that the most familiar techniques for these puzzles can be understood as mere application-specific presentations of the general rules. A free companion software (CSP-Rules-V2.1) implementing all the rules and above-mentioned applications is available on GitHub under the GPL license.

This item is not currently in-stock. It can be ordered online and is expected to ship in 7-14 days

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.