Quantum Error Correction 1 Finding the Circuit-Level Distance of a Code Using Integer Linear Programming Jan 1, 2026