On Exact Sizes of Minimal CNOT Circuits. - Jens Emil Christensen; Søren Fuglede Jørgensen; Andreas Pavlogiannis; Jaco van de Pol (RC, 2025)