Reducir la búsqueda
Poda, propagación, invariantes y condiciones necesarias: todo lo que descarta los estados sin salida antes de que la búsqueda pierda tiempo en ellos.
Por qué es difícil
resultado
Por qué un ordenador más rápido no ayuda
resultado
Por qué 479 es imposible
resultado
Patrones prohibidos
resultado
Sin jugadas forzadas
resultado
El puzzle no tiene función de altura
resultado
La región difícil que no se puede diseñar de otro modo
resultado
La inmediatez de las restricciones: todo orden de llenado paga los mismos 480
resultado
El robo de piezas, donde mueren los solucionadores
resultado
Dónde colocas las pistas importa más que cuántas
resultado
Enlazar las pistas pronto no ayuda, perjudica
resultado
El marco no es la cuenca: un borde distinto no abre un tablero más alto
resultado
El equilibrio del borde
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
El laboratorio
experimento
Presets CSP, medidos
resultado
Hacer un productor beam 10x mejor: la respuesta es la anchura
página
El estudio DFS
página
Qué mostró el estudio DFS
página
El estudio de las pistas
página
Cómo se construye el estudio de las pistas
página
Qué mostró el estudio de las pistas
página
El estudio de la reparación
página
Qué mostró el estudio de la reparación
experimento
LODESTONE
experimento
Una poda correcta por conteo de colores para la búsqueda tolerante a rupturas
resultado
Leer el futuro de una fila en sus piezas sobrantes