CSP-Rules is a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). This software is available on GitHub and it includes fully developed applications to various logic puzzles such as Sudoku, Latin Squares (allowing their Pandiagonal variant), Futoshiki, Kakuro, Numbrix, Hidato, Slitherlink and Map Colouring. CSP-Rules produces not only the solution to a CSP (as all the existing CSP solvers) but also a full "resolution path", i.e. a detailed justification for each step; this ...
Read More
CSP-Rules is a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). This software is available on GitHub and it includes fully developed applications to various logic puzzles such as Sudoku, Latin Squares (allowing their Pandiagonal variant), Futoshiki, Kakuro, Numbrix, Hidato, Slitherlink and Map Colouring. CSP-Rules produces not only the solution to a CSP (as all the existing CSP solvers) but also a full "resolution path", i.e. a detailed justification for each step; this is a full mathematical proof of the solution. CSP-Rules and the present book are closely related to the author's book "Pattern Based Constraint Satisfaction and Logic Puzzles", where the fundamental theory underlying the approach is presented. This book includes an extended version of the original "Basic User Manual". But it also introduces new powerful generic rules (OR-chains) for taking advantage of almost-contradictory patterns. In particular, it applies these chains to the analysis of a newly discovered pattern (tridagon) and to the classification of a large database of extreme Sudoku puzzles that have it. It also adds the analyses of 630 impossible patterns and explains how to deal with such a large number of patterns. It shows that a handful of them provide almost the same resolution power as the full set. The long final two chapters are written as research notebooks on these very advanced topics.
Read Less
Add this copy of User Manual and Research Notebooks for CSP-Rules to cart. $45.47, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2023 by Lulu.com.
Add this copy of User Manual and Research Notebooks for CSP-Rules to cart. $71.11, new condition, Sold by Booksplease rated 3.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2023 by Lulu.com.
