TY  - RPRT
TI  - Provably Optimal Quantum Circuits with Mixed-Integer Programming
AU  - Harsha Nagarajan
AU  - Zsolt Szabó
PY  - 2025
UR  - https://arxiv.org/abs/2510.00649
ID  - 2510.00649
ER  -