@misc{indiciaee527b06d6fc9,
  title = {Provably Optimal Quantum Circuits with Mixed-Integer Programming},
  author = {Harsha Nagarajan and Zsolt Szabó},
  year = {2025},
  url = {https://arxiv.org/abs/2510.00649},
  note = {Source identifier: 2510.00649}
}