Reduce the search
Pruning, propagation, invariants and necessary conditions: everything that throws away hopeless states before the search wastes time on them.
Por qué es difícil
Crear un solucionador
concepto
La consistencia de arco, desde AC-3 en adelante
concepto
All-different, el filtro por matching de Régin
concepto
El deslizamiento de arista
concepto
Aprendizaje de no-goods: recordar por qué fallaste
concepto
Órdenes de relleno
concepto
Reinicios y colas pesadas
concepto
Cuando el aprendizaje se desmorona
concepto
Argumentos de paridad
referencia
Callejones sin salida