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.
Recherche préremplie — titre et auteur, toutes éditions confondues — chez 8 marchands d’occasion et sites de petites annonces.
| Année | Éditeur | ISBN | Pages | Ville | Occasion | Notice | |
|---|---|---|---|---|---|---|---|
| 2023 | Denis Berthier | 9781447527145 | 339 | Paris | AbeBooks · Momox |
Beaucoup d’éditions sont épuisées — soyez prévenu par email quand une offre d’occasion réapparaît, au prix qui vous convient.
Votre adresse sert uniquement à vous prévenir pour ce livre : une confirmation vous sera demandée par email, et chaque message contient un lien de désinscription en un clic. Aucune revente, aucune lettre d’information.
| BNF → |