Cómo mi hijo de 2 años me enseñó resolución de restricciones

My two year old taught me constraint solving

Un padre, inspirado por el juego de trenes de madera Brio de su hijo, se propone resolver un problema algorítmico: ¿qué diseños cerrados se pueden construir con un conjunto dado de piezas? El artículo explora cómo pasar de la búsqueda por retroceso a la programación con restricciones y a los solvers SAT, todo ello a través de las perspicaces observaciones de su hijo de dos años, que demuestra un sorprendente conocimiento de teoría de grafos y complejidad.