@misc{indiciaef557778e6218,
  title = {Exploring Non-Linear Programming Formulations in QuantumCircuitOpt for Optimal Circuit Design},
  author = {Elena R. Henderson and Harsha Nagarajan and Carleton Coffrin},
  year = {2023},
  doi = {10.1109/qcs56647.2022.00009},
  url = {https://arxiv.org/abs/2310.18281},
  note = {Source identifier: 2310.18281}
}