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
É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