@article(amyLargescaleFunctionalVerification2019,
 author       = {Matthew Amy},
 year         = {2019},
 title        = {Towards Large-scale Functional Verification of Universal Quantum Circuits},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 pages        = {1--21},
 doi          = {10.4204/EPTCS.287.1},
)
@article(amy2019,
 author       = {Matthew Amy and Parsiad Azimzadeh and Michele Mosca},
 year         = {2018},
 title        = {On the controlled-NOT complexity of controlled-NOT–phase circuits},
 journal      = {Quantum Science and Technology},
 volume       = {4},
 number       = {1},
 pages        = {015002},
 doi          = {10.1088/2058-9565/aad8ca},
 url          = {https://dx.doi.org/10.1088/2058-9565/aad8ca},
)
@article(amyImprovedSynthesisToffoliHadamard2023,
 author       = {Matthew Amy and Andrew N. Glaudell and Sarah Meng Li and Neil J. Ross},
 year         = {2023},
 title        = {Improved {{Synthesis}} of~{{Toffoli-Hadamard Circuits}}},
 pages        = {169--209},
 doi          = {10.1007/978-3-031-38100-3_12},
 eprint       = {2305.11305},
)
@article(backens-there-2021,
 author       = {Miriam Backens and Miller-Bakewell, Hector and Giovanni de Felice and Leo Lobski and John van de Wetering},
 year         = {2021},
 title        = {There and back again: {A} circuit extraction tale},
 journal      = {Quantum},
 volume       = {5},
 pages        = {421},
 doi          = {10.22331/q-2021-03-25-421},
 url          = {http://arxiv.org/abs/2003.01664},
 note         = {ArXiv:2003.01664 [quant-ph]},
)
@article(bakerExploitingLongDistanceInteractions2021,
 author       = {Jonathan M. Baker and Andrew Litteken and Casey Duckering and Henry Hoffmann and Hannes Bernien and Frederic T. Chong},
 year         = {2021},
 title        = {Exploiting {{Long-Distance Interactions}} and {{Tolerating Atom Loss}} in {{Neutral Atom Quantum Architectures}}},
 pages        = {818--831},
 doi          = {10.1109/ISCA52012.2021.00069},
)
@article(barredoAtombyatomAssemblerDefectfree2016,
 author       = {Daniel Barredo and {de L{\'e}s{\'e}leuc}, Sylvain and Vincent Lienhard and Thierry Lahaye and Antoine Browaeys},
 year         = {2016},
 title        = {An Atom-by-Atom Assembler of Defect-Free Arbitrary Two-Dimensional Atomic Arrays},
 journal      = {Science},
 volume       = {354},
 number       = {6315},
 pages        = {1021--1023},
 doi          = {10.1126/science.aah3778},
)
@article(bluvsteinLogicalQuantumProcessor2023,
 author       = {Dolev Bluvstein and Simon J. Evered and Alexandra A. Geim and Sophie H. Li and Hengyun Zhou and Tom Manovitz and Sepehr Ebadi and Madelyn Cain and Marcin Kalinowski and Dominik Hangleiter and J. Pablo Bonilla Ataides and Nishad Maskara and Iris Cong and Xun Gao and Pedro Sales Rodriguez and Thomas Karolyshyn and Giulia Semeghini and Michael J. Gullans and Markus Greiner and Vladan Vuleti{\'c} and Mikhail D. Lukin},
 year         = {2023},
 title        = {Logical Quantum Processor Based on Reconfigurable Atom Arrays},
 journal      = {Nature},
 pages        = {1--3},
 doi          = {10.1038/s41586-023-06927-3},
)
@article(bluvsteinQuantumProcessorBased2022,
 author       = {Dolev Bluvstein and Harry Levine and Giulia Semeghini and Tout T. Wang and Sepehr Ebadi and Marcin Kalinowski and Alexander Keesling and Nishad Maskara and Hannes Pichler and Markus Greiner and Vladan Vuleti{\'c} and Mikhail D. Lukin},
 year         = {2022},
 title        = {A Quantum Processor Based on Coherent Transport of Entangled Atom Arrays},
 journal      = {Nature},
 volume       = {604},
 number       = {7906},
 pages        = {451--456},
 doi          = {10.1038/s41586-022-04592-6},
)
@inproceedings(brandhoferOptimalMappingNearTerm2021,
 author       = {Sebastian Brandhofer and Ilia Polian and Hans Peter B{\"u}chler},
 year         = {2021},
 title        = {Optimal {{Mapping}} for {{Near-Term Quantum Architectures}} Based on {{Rydberg Atoms}}},
 booktitle    = {2021 {{IEEE}}/{{ACM International Conference On Computer Aided Design}} ({{ICCAD}})},
 pages        = {1--7},
 doi          = {10.1109/ICCAD51958.2021.9643490},
)
@article(briegel2009measurement,
 author       = {Hans J Briegel and David E Browne and Wolfgang D{\"u}r and Robert Raussendorf and Van den Nest, Maarten},
 year         = {2009},
 title        = {Measurement-based quantum computation},
 journal      = {Nature Physics},
 volume       = {5},
 number       = {1},
 pages        = {19--26},
 doi          = {10.1038/nphys1157},
)
@article(browne2007generalized,
 author       = {Daniel E Browne and Elham Kashefi and Mehdi Mhalla and Simon Perdrix},
 year         = {2007},
 title        = {Generalized flow and determinism in measurement-based quantum computation},
 journal      = {New Journal of Physics},
 volume       = {9},
 number       = {8},
 pages        = {250},
 doi          = {10.1088/1367-2630/9/8/250},
 url          = {https://dx.doi.org/10.1088/1367-2630/9/8/250},
)
@misc(cao2024multiqubit,
 author       = {Alec Cao and William J. Eckner and Theodor Lukin Yelin and Aaron W. Young and Sven Jandura and Lingfeng Yan and Kyungtae Kim and Guido Pupillo and Jun Ye and Nelson Darkwah Oppong and Adam M. Kaufman},
 year         = {2024},
 title        = {Multi-qubit gates and 'Schr\"odinger cat' states in an optical clock},
 eprint       = {2402.16289},
)
@book(coecke2017picturing,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(dlaskaQuantumOptimizationFourBody2022,
 author       = {Clemens Dlaska and Kilian Ender and Glen Bigan Mbeng and Andreas Kruckenhauser and Wolfgang Lechner and {van Bijnen}, Rick},
 year         = {2022},
 title        = {Quantum {{Optimization}} via {{Four-Body Rydberg Gates}}},
 journal      = {Physical Review Letters},
 volume       = {128},
 number       = {12},
 pages        = {120503},
 doi          = {10.1103/PhysRevLett.128.120503},
)
@article(duncan-graph-theoretic-2020,
 author       = {Ross Duncan and Aleks Kissinger and Simon Perdrix and John van de Wetering},
 year         = {2020},
 title        = {Graph-theoretic {Simplification} of {Quantum} {Circuits} with the {ZX}-calculus},
 journal      = {Quantum},
 volume       = {4},
 pages        = {279},
 doi          = {10.22331/q-2020-06-04-279},
 url          = {https://quantum-journal.org/papers/q-2020-06-04-279/},
 note         = {Publisher: Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften},
)
@article(everedHighfidelityParallelEntangling2023,
 author       = {Simon J. Evered and Dolev Bluvstein and Marcin Kalinowski and Sepehr Ebadi and Tom Manovitz and Hengyun Zhou and Sophie H. Li and Alexandra A. Geim and Tout T. Wang and Nishad Maskara and Harry Levine and Giulia Semeghini and Markus Greiner and Vladan Vuleti{\'c} and Mikhail D. Lukin},
 year         = {2023},
 title        = {High-Fidelity Parallel Entangling Gates on a Neutral-Atom Quantum Computer},
 journal      = {Nature},
 volume       = {622},
 number       = {7982},
 pages        = {268--272},
 doi          = {10.1038/s41586-023-06481-y},
 eprint       = {2304.05420},
)
@article(grahamMultiqubitEntanglementAlgorithms2022,
 author       = {T. M. Graham and Y. Song and J. Scott and C. Poole and L. Phuttitarn and K. Jooya and P. Eichler and X. Jiang and A. Marra and B. Grinkemeyer and M. Kwon and M. Ebert and J. Cherek and M. T. Lichtman and M. Gillette and J. Gilbert and D. Bowman and T. Ballance and C. Campbell and E. D. Dahl and O. Crawford and N. S. Blunt and B. Rogers and T. Noel and M. Saffman},
 year         = {2022},
 title        = {Multi-Qubit Entanglement and Algorithms on a Neutral-Atom Quantum Computer},
 journal      = {Nature},
 volume       = {604},
 number       = {7906},
 pages        = {457--462},
 doi          = {10.1038/s41586-022-04603-6},
)
@article(grosse2009exact,
 author       = {Gro{\ss}e, Daniel and Robert Wille and Gerhard W Dueck and Rolf Drechsler},
 year         = {2009},
 title        = {Exact multiple-control Toffoli network synthesis with SAT techniques},
 journal      = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
 volume       = {28},
 number       = {5},
 pages        = {703--715},
 doi          = {10.1109/TCAD.2009.2017215},
)
@misc(gygerContinuousOperationLargescale2024,
 author       = {Flavien Gyger and Maximilian Ammenwerth and Renhao Tao and Hendrik Timme and Stepan Snigirev and Immanuel Bloch and Johannes Zeiher},
 year         = {2024},
 title        = {Continuous Operation of Large-Scale Atom Arrays in Optical Lattices},
 eprint       = {2402.04994},
)
@article(henrietQuantumComputingNeutral2020,
 author       = {Lo\"{\i}c Henriet and Lucas Beguin and Adrien Signoles and Thierry Lahaye and Antoine Browaeys and Georges-Olivier Reymond and Christophe Jurczak},
 year         = {2020},
 title        = {Quantum Computing with Neutral Atoms},
 journal      = {Quantum},
 volume       = {4},
 pages        = {327},
 doi          = {10.22331/q-2020-09-21-327},
)
@article(isenhowerMultibitCkNOTQuantum2011,
 author       = {L. Isenhower and M. Saffman and M{\o}lmer, K.},
 year         = {2011},
 title        = {Multibit {{CkNOT}} Quantum Gates via {{Rydberg}} Blockade},
 journal      = {Quantum Information Processing},
 volume       = {10},
 number       = {6},
 pages        = {755},
 doi          = {10.1007/s11128-011-0292-4},
)
@article(Jandura2022timeoptimaltwothree,
 author       = {Sven Jandura and Guido Pupillo},
 year         = {2022},
 title        = {Time-{O}ptimal {T}wo- and {T}hree-{Q}ubit {G}ates for {R}ydberg {A}toms},
 journal      = {{Quantum}},
 volume       = {6},
 pages        = {712},
 doi          = {10.22331/q-2022-05-13-712},
)
@article(kissingerReducingNumberNonClifford2020,
 author       = {Aleks Kissinger and {van de Wetering}, John},
 year         = {2020},
 title        = {Reducing the Number of Non-{{Clifford}} Gates in Quantum Circuits},
 journal      = {Physical Review A},
 volume       = {102},
 number       = {2},
 pages        = {022406},
 doi          = {10.1103/PhysRevA.102.022406},
)
@article(kissinger2020Pyzx,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2020},
 title        = {{PyZX: Large Scale Automated Diagrammatic Reasoning}},
 volume       = {318},
 pages        = {229--241},
 doi          = {10.4204/EPTCS.318.14},
)
@article(kliuchnikov2013fast,
 author       = {Vadym Kliuchnikov and Dmitri Maslov and Michele Mosca},
 year         = {2013},
 title        = {Fast and efficient exact synthesis of single-qubit unitaries generated by clifford and T gates},
 journal      = {Quantum Information \& Computation},
 volume       = {13},
 number       = {7-8},
 pages        = {607--630},
 doi          = {10.5555/2535649.2535653},
)
@misc(kuijpers2019graphical,
 author       = {Stach Kuijpers and John van de Wetering and Aleks Kissinger},
 title        = {Graphical fourier theory and the cost of quantum addition},
 url          = {https://doi.org/10.48550/arXiv.1904.07551},
)
@article(levineDispersiveOpticalSystems2022,
 author       = {Harry Levine and Dolev Bluvstein and Alexander Keesling and Tout T. Wang and Sepehr Ebadi and Giulia Semeghini and Ahmed Omran and Markus Greiner and Vladan Vuleti{\'c} and Mikhail D. Lukin},
 year         = {2022},
 title        = {Dispersive Optical Systems for Scalable {{Raman}} Driving of Hyperfine Qubits},
 journal      = {Physical Review A},
 volume       = {105},
 number       = {3},
 pages        = {032618},
 doi          = {10.1103/PhysRevA.105.032618},
)
@article(levineParallelImplementationHighFidelity2019,
 author       = {Harry Levine and Alexander Keesling and Giulia Semeghini and Ahmed Omran and Tout T. Wang and Sepehr Ebadi and Hannes Bernien and Markus Greiner and Vladan Vuleti{\'c} and Hannes Pichler and Mikhail D. Lukin},
 year         = {2019},
 title        = {Parallel {{Implementation}} of {{High-Fidelity Multiqubit Gates}} with {{Neutral Atoms}}},
 journal      = {Physical Review Letters},
 volume       = {123},
 number       = {17},
 pages        = {170503},
 doi          = {10.1103/PhysRevLett.123.170503},
)
@misc(liQASMBenchLowlevelQASM2022,
 author       = {Ang Li and Samuel Stein and Sriram Krishnamoorthy and James Ang},
 year         = {2022},
 title        = {{{QASMBench}}: {{A Low-level QASM Benchmark Suite}} for {{NISQ Evaluation}} and {{Simulation}}},
 doi          = {10.48550/arXiv.2005.13018},
 eprint       = {2005.13018},
)
@article(liTimingAwareQubitMapping2023,
 author       = {Yongshang Li and Yu Zhang and Mingyu Chen and Xiangyang Li and Peng Xu},
 year         = {2023},
 title        = {Timing-{{Aware Qubit Mapping}} and {{Gate Scheduling Adapted}} to {{Neutral Atom Quantum Computing}}},
 journal      = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
 pages        = {1--1},
 doi          = {10.1109/TCAD.2023.3261244},
)
@article(madjarovHighfidelityEntanglementDetection2020,
 author       = {Ivaylo S. Madjarov and Jacob P. Covey and Adam L. Shaw and Joonhee Choi and Anant Kale and Alexandre Cooper and Hannes Pichler and Vladimir Schkolnik and Jason R. Williams and Manuel Endres},
 year         = {2020},
 title        = {High-Fidelity Entanglement and Detection of Alkaline-Earth {{Rydberg}} Atoms},
 journal      = {Nature Physics},
 volume       = {16},
 number       = {8},
 pages        = {857--861},
 doi          = {10.1038/s41567-020-0903-z},
)
@article(morgado2021quantum,
 author       = {M Morgado and S Whitlock},
 year         = {2021},
 title        = {Quantum simulation and computing with Rydberg-interacting qubits},
 journal      = {AVS Quantum Science},
 volume       = {3},
 number       = {2},
 doi          = {10.1116/5.0036562},
 eprint       = {https://pubs.aip.org/avs/aqs/article-pdf/doi/10.1116/5.0036562/19739152/023501\_1\_online.pdf},
)
@article(mukhopadhyay2024synthesizing,
 author       = {Priyanka Mukhopadhyay},
 year         = {2024},
 title        = {Synthesizing Toffoli-optimal quantum circuits for arbitrary multi-qubit unitaries},
 journal      = {arXiv preprint arXiv:2401.08950},
 url          = {https://doi.org/10.48550/arXiv.2401.08950},
)
@article(mullerMesoscopicRydbergGate2009,
 author       = {M. M{\"u}ller and I. Lesanovsky and H. Weimer and H. P. B{\"u}chler and P. Zoller},
 year         = {2009},
 title        = {Mesoscopic {{Rydberg Gate Based}} on {{Electromagnetically Induced Transparency}}},
 journal      = {Physical Review Letters},
 volume       = {102},
 number       = {17},
 pages        = {170502},
 doi          = {10.1103/PhysRevLett.102.170502},
)
@misc(norciaIterativeAssembly1712024,
 author       = {M. A. Norcia and H. Kim and W. B. Cairncross and M. Stone and A. Ryou and M. Jaffe and M. O. Brown and K. Barnes and P. Battaglino and A. Brown and K. Cassella and C.-A. Chen and R. Coxe and D. Crow and J. Epstein and C. Griger and E. Halperin and F. Hummel and A. M. W. Jones and J. M. Kindem and J. King and K. Kotru and J. Lauigan and M. Li and M. Lu and E. Megidish and J. Marjanovic and M. McDonald and T. Mittiga and J. A. Muniz and S. Narayanaswami and C. Nishiguchi and T. Paule and K. A. Pawlak and L. S. Peng and K. L. Pudenz and A. Smull and D. Stack and M. Urbanek and {van de Veerdonk}, R. J. M. and Z. Vendeiro and L. Wadleigh and T. Wilkason and T.-Y. Wu and X. Xie and {Zalys-Geller}, E. and X. Zhang and B. J. Bloom},
 year         = {2024},
 title        = {Iterative Assembly of \$\^{}\{171\}\${{Yb}} Atom Arrays in Cavity-Enhanced Optical Lattices},
 doi          = {10.48550/arXiv.2401.16177},
 eprint       = {2401.16177},
)
@misc(nottinghamDecomposingRoutingQuantum2023,
 author       = {Natalia Nottingham and Michael A. Perlin and Ryan White and Hannes Bernien and Frederic T. Chong and Jonathan M. Baker},
 year         = {2023},
 title        = {Decomposing and {{Routing Quantum Circuits Under Constraints}} for {{Neutral Atom Architectures}}},
 doi          = {10.48550/arXiv.2307.14996},
 eprint       = {2307.14996},
)
@inproceedings(patelGeyserCompilationFramework2022,
 author       = {Tirthak Patel and Daniel Silver and Devesh Tiwari},
 year         = {2022},
 title        = {Geyser: A Compilation Framework for Quantum Computing with Neutral Atoms},
 booktitle    = {Proceedings of the 49th {{Annual International Symposium}} on {{Computer Architecture}}},
 series       = {{{ISCA}} '22},
 publisher    = {{Association for Computing Machinery}},
 address      = {{New York, NY, USA}},
 pages        = {383--395},
 doi          = {10.1145/3470496.3527428},
)
@misc(pauseSuperchargedTwodimensionalTweezer2023,
 author       = {Lars Pause and Lukas Sturm and Marcel Mittenb{\"u}hler and Stephan Amann and Tilman Preuschoff and Dominik Sch{\"a}ffner and Malte Schlosser and Gerhard Birkl},
 year         = {2023},
 title        = {Supercharged Two-Dimensional Tweezer Array with More than 1000 Atomic Qubits},
 doi          = {10.48550/arXiv.2310.09191},
 eprint       = {2310.09191},
)
@article(peham2022equivalence,
 author       = {Tom Peham and Lukas Burgholzer and Robert Wille},
 year         = {2022},
 title        = {Equivalence checking of quantum circuits with the ZX-calculus},
 journal      = {IEEE Journal on Emerging and Selected Topics in Circuits and Systems},
 volume       = {12},
 number       = {3},
 pages        = {662--675},
 doi          = {10.1109/JETCAS.2022.3202204},
)
@article(quetschlichMQTBenchBenchmarking2023,
 author       = {Nils Quetschlich and Lukas Burgholzer and Robert Wille},
 year         = {2023},
 title        = {{{MQT Bench}}: {{Benchmarking Software}} and {{Design Automation Tools}} for {{Quantum Computing}}},
 journal      = {Quantum},
 volume       = {7},
 pages        = {1062},
 doi          = {10.22331/q-2023-07-20-1062},
)
@article(saffman2016quantum,
 author       = {M Saffman},
 year         = {2016},
 title        = {Quantum computing with atomic qubits and Rydberg interactions: progress and challenges},
 journal      = {Journal of Physics B: Atomic, Molecular and Optical Physics},
 volume       = {49},
 number       = {20},
 pages        = {202001},
 doi          = {10.1088/0953-4075/49/20/202001},
 url          = {https://dx.doi.org/10.1088/0953-4075/49/20/202001},
)
@article(saffmanQuantumInformationRydberg2010,
 author       = {M. Saffman and T. G. Walker and M{\o}lmer, K.},
 year         = {2010},
 title        = {Quantum Information with {{Rydberg}} Atoms},
 journal      = {Reviews of Modern Physics},
 volume       = {82},
 number       = {3},
 pages        = {2313--2363},
 doi          = {10.1103/RevModPhys.82.2313},
)
@article(saffmanQuantumComputingNeutral2019,
 author       = {Mark Saffman},
 year         = {2019},
 title        = {Quantum Computing with Neutral Atoms},
 journal      = {National Science Review},
 volume       = {6},
 number       = {1},
 pages        = {24--25},
 doi          = {10.1093/nsr/nwy088},
)
@article(schmidComputationalCapabilitiesCompiler2023,
 author       = {Ludwig Schmid and David F Locher and Manuel Rispler and Sebastian Blatt and Johannes Zeiher and Markus Müller and Robert Wille},
 year         = {2024},
 title        = {Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts},
 journal      = {Quantum Science and Technology},
 volume       = {9},
 number       = {3},
 pages        = {033001},
 doi          = {10.1088/2058-9565/ad33ac},
 url          = {https://dx.doi.org/10.1088/2058-9565/ad33ac},
)
@misc(schmidHybridCircuitMapping2023,
 author       = {Ludwig Schmid and Sunghye Park and Seokhyeong Kang and Robert Wille},
 year         = {2023},
 title        = {Hybrid {{Circuit Mapping}}: {{Leveraging}} the {{Full Spectrum}} of {{Computational Capabilities}} of {{Neutral Atom Quantum Computers}}},
 doi          = {10.48550/arXiv.2311.14164},
 eprint       = {2311.14164},
)
@article(shawMultiensembleMetrologyProgramming2024,
 author       = {Adam L. Shaw and Ran Finkelstein and Richard Bing-Shiun Tsai and Pascal Scholl and Tai Hyun Yoon and Joonhee Choi and Manuel Endres},
 year         = {2024},
 title        = {Multi-Ensemble Metrology by Programming Local Rotations with Atom Movements},
 journal      = {Nature Physics},
 pages        = {1--7},
 doi          = {10.1038/s41567-023-02323-w},
)
@article(shende2006synthesis,
 author       = {VV Shende and SS Bullock and IL Markov},
 year         = {2006},
 title        = {Synthesis of quantum-logic circuits},
 journal      = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
 volume       = {25},
 number       = {6},
 pages        = {1000--1010},
 doi          = {10.1109/TCAD.2005.855930},
)
@article(simmons2021,
 author       = {Will Simmons},
 year         = {2021},
 title        = {Relating Measurement Patterns to Circuits via Pauli Flow},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {343},
 pages        = {50–101},
 doi          = {10.4204/eptcs.343.4},
)
@article(staudacher2022reducing,
 author       = {Korbinian Staudacher and Tobias Guggemos and Grundner-Culemann, Sophia and Wolfgang Gehrke},
 year         = {2023},
 title        = {Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {394},
 pages        = {29--45},
 doi          = {10.4204/EPTCS.394.3},
)
@misc(staudachercode,
 author       = {Korbinian Staudacher and Ludwig Schmid and Johannes Zeiher and Robert Wille and Dieter Kranzlm{\"u}ller},
 year         = {2024},
 title        = {Multi-Controlled Phase Gate Synthesis with {{ZX-}} Calculus},
 doi          = {10.5281/zenodo.10730427},
)
@article(tanCompilingQuantumCircuits2023,
 author       = {Daniel Bochen Tan and Dolev Bluvstein and Mikhail D. Lukin and Jason Cong},
 year         = {2024},
 title        = {Compiling {Q}uantum {C}ircuits for {D}ynamically {F}ield-{P}rogrammable {N}eutral {A}toms {A}rray {P}rocessors},
 journal      = {{Quantum}},
 volume       = {8},
 pages        = {1281},
 doi          = {10.22331/q-2024-03-14-1281},
)
@misc(tanDepthOptimalAddressing2D2024,
 author       = {Daniel Bochen Tan and Shuohao Ping and Jason Cong},
 year         = {2024},
 title        = {Depth-{{Optimal Addressing}} of {{2D Qubit Array}} with {{1D Controls Based}} on {{Exact Binary Matrix Factorization}}},
 eprint       = {2401.13807},
)
@article(vilmart-near-optimal-2018,
 author       = {Renaud Vilmart},
 year         = {2019},
 title        = {A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics},
 pages        = {1--10},
 doi          = {10.1109/LICS.2019.8785765},
)
@misc(wangFPQACCompilationFramework2023,
 author       = {Hanrui Wang and Pengyu Liu and Bochen Tan and Yilian Liu and Jiaqi Gu and David Z. Pan and Jason Cong and Umut Acar and Song Han},
 year         = {2023},
 title        = {{{FPQA-C}}: {{A Compilation Framework}} for {{Field Programmable Qubit Array}}},
 doi          = {10.48550/arXiv.2311.15123},
 eprint       = {2311.15123},
)
@misc(wangQPilotFieldProgrammable2023,
 author       = {Hanrui Wang and Bochen Tan and Pengyu Liu and Yilian Liu and Jiaqi Gu and Jason Cong and Song Han},
 year         = {2023},
 title        = {Q-{{Pilot}}: {{Field Programmable Quantum Array Compilation}} with {{Flying Ancillas}}},
 doi          = {10.48550/arXiv.2311.16190},
 eprint       = {2311.16190},
)
@article(van2020zx,
 author       = {John van de Wetering},
 year         = {2020},
 title        = {ZX-calculus for the working quantum computer scientist},
 journal      = {arXiv preprint arXiv:2012.13966},
 url          = {https://doi.org/10.48550/arXiv.2012.13966},
)
@article(zhang2023characterization,
 author       = {Shihao Zhang and Junda Wu and Lvzhou Li},
 year         = {2023},
 title        = {Characterization, synthesis, and optimization of quantum circuits over multiple-control $\mathit{Z}$-rotation gates: A systematic study},
 journal      = {Phys. Rev. A},
 volume       = {108},
 pages        = {022603},
 doi          = {10.1103/PhysRevA.108.022603},
 url          = {https://link.aps.org/doi/10.1103/PhysRevA.108.022603},
)