Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
User Manual and Research Notebooks for CSP-Rules

User Manual and Research Notebooks for CSP-Rules

Berthier, Denis

Paperback

Fiction

ISBN10: 1447527143
ISBN13: 9781447527145
Publisher: Lulu Pr
Published: Jul 14 2023
Pages: 342
Weight: 1.06
Height: 0.71 Width: 6.14 Depth: 9.21
Language: English
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.

Also from

Berthier, Denis

View All

Also in

Fiction

View All