User Manual and Research Notebooks for CSP-Rules

Résumé éditeur

This book includes an extended version of the original "Basic User Manual for CSP-Rules" (a pattern-based solver of Constraint Satisfaction Problems). 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.