TY - RPRT TI - QuantumCircuitOpt: An Open-source Framework for Provably Optimal Quantum Circuit Design AU - Harsha Nagarajan AU - Owen Lockwood AU - Carleton Coffrin PY - 2021 UR - https://arxiv.org/abs/2111.11674 ID - 2111.11674 ER -