# User Manual and Research Notebooks for CSP-Rules

> Fiche œuvre du catalogue https://superlivre.fr/livre/user-manual-and-research-notebooks-for-csp-rules-cb473072722 (données du dépôt légal BnF).

- **Auteur** : [Denis Berthier](https://superlivre.fr/auteur/denis-berthier-cb14472206z) (1948–)
- **Première parution** : 2023
- **Langue** : français
- **Éditions recensées** : 1 (2023–2023)

## Résumé

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.

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2023 | [Denis Berthier](https://superlivre.fr/editeur/denis-berthier) | Paris | 339 | 9781447527145 |