Réduire la recherche
Élagage, propagation, invariants et conditions nécessaires : tout ce qui écarte les états sans espoir avant que la recherche n'y perde du temps.
Pourquoi c'est dur
résultat
Pourquoi un ordinateur plus rapide ne change rien
résultat
Pourquoi 479 est impossible
résultat
Motifs interdits
résultat
Aucun coup forcé
résultat
Le casse-tête n'a pas de fonction de hauteur
résultat
La région difficile qu'on ne peut pas concevoir autrement
résultat
L'immédiateté des contraintes : chaque ordre de remplissage paie les mêmes 480
résultat
Le vol de pièce, là où meurent les solveurs
résultat
L'emplacement des indices l'emporte sur leur nombre
résultat
Relier les indices tôt n'aide pas, cela nuit
résultat
Le cadre n'est pas le bassin : une bordure différente n'ouvre pas un plateau plus haut
résultat
L'équilibre du bord
Écrire un solveur
concept
La cohérence d'arc, à partir d'AC-3
concept
All-different, le filtre par matching de Régin
concept
Le glissement d'arête
concept
Apprentissage des no-goods : se souvenir de ses échecs
concept
Ordres de remplissage
concept
Redémarrages et lois à queue lourde
concept
Quand l'apprentissage s'effondre
concept
Arguments de parité
référence
Impasses
Le laboratoire
expérience
Presets CSP, à la mesure
résultat
Rendre un producteur beam 10x meilleur : la réponse est la largeur
page
L'étude DFS
page
Ce que l'étude DFS a montré
page
L'étude sur les indices
page
Comment l'étude sur les indices est construite
page
Ce que l'étude sur les indices a montré
page
L'étude de la réparation
page
Ce que l'étude de la réparation a montré
expérience
LODESTONE
expérience
Un élagage correct par comptage des couleurs pour la recherche tolérante aux ruptures
résultat
Lire l'avenir d'une rangée dans ses pièces restantes