A New Multicommodity Network Flow Model and Branch and Cut for Optimal Quantum Boolean Circuit Synthesis. - Jung, Jihye; Choi, In-Chan (INFORMS Journal on Computing, 2025)