Basic User Manual for CSP-Rules-V2.1 (Second Edition) (Paperback) (ISBN-13: 9781794867079)

This 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 second edition includes additions related to reducing the number of steps in a resolution path.

Author: Denis Berthier
ISBN-10: 1794867074
ISBN-13: 9781794867079
Publisher: Lulu.com
Language: English
Published: 11/20/2021
Pages: 172
Format: Paperback
Weight: 0.55lbs
Size: 9.21h x 6.14w x 0.37d