Start with Square Packing from First Principles for the problem, its bounds, small
examples, and how to read a result.
It assumes no background in the project’s methods.
Continue with Square Packing, Search, and Proof for linear programs, exact
certificates, search, regularization, and global optimality proofs.
The advanced tutorial connects the computational methods with the evidence needed to
prove a bound.