How my 2yo taught me constraint solving
Summary
This post uses a Brio train set to illustrate constraint solving, contrasting backtracking, constraint solving, and SAT-solver approaches. It presents a hands-on exploration of how a simple, tangible problem maps to algorithmic techniques in AI and computing, with visualizations of solver progress.