Explore algorithms, decisions and certificates.

Follow optimization theory into real solver runs. Inspect convergence, reconstruct an image, compare search procedures and verify what a certificate proves.