TY - RPRT TI - Exploring Non-Linear Programming Formulations in QuantumCircuitOpt for Optimal Circuit Design AU - Elena R. Henderson AU - Harsha Nagarajan AU - Carleton Coffrin PY - 2023 DO - 10.1109/qcs56647.2022.00009 UR - https://arxiv.org/abs/2310.18281 ID - 2310.18281 ER -