2023 arXiv Global synthesis of CNOT circuits with holes Ewan Murphy and Aleks Kissinger arXiv preprint arXiv:2308.16496, Aug 2023 HTML