|
![]() |
|||
|
||||
OverviewThis book is the User Manual for CSP-Rules-V2.1, a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). The associated software, CSP-Rules-V2.1, is available on GitHub. It includes fully developed applications to logic puzzles such as Latin Squares, Sudoku, Futoshiki, Kakuro, Map Colouring, Numbrix, Hidato and Slithering. This third edition includes additions related to reducing the number of steps in a resolution path and to a newly discovered pattern (tridagon) for extremely hard puzzles. Full Product DetailsAuthor: Denis BerthierPublisher: Lulu Press Inc Imprint: Lulu.com Dimensions: Width: 15.60cm , Height: 1.40cm , Length: 23.40cm Weight: 0.367kg ISBN: 9781471026874ISBN 10: 1471026876 Pages: 258 Publication Date: 28 October 2022 Audience: General/trade , General Format: Paperback Publisher's Status: Active Availability: Available To Order ![]() We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |