@article(adcockMappingGraphState2020,
 author       = {Jeremy C. Adcock and {Morley-Short}, Sam and Axel Dahlberg and Joshua W. Silverstone},
 year         = {2020},
 title        = {Mapping Graph State Orbits under Local Complementation},
 journal      = {Quantum},
 volume       = {4},
 pages        = {305},
 doi          = {10.22331/q-2020-08-07-305},
 eprint       = {1910.03969},
)
@article(backensThereBackAgain2021,
 author       = {Miriam Backens and {Miller-Bakewell}, Hector and {de Felice}, Giovanni and Leo Lobski and {van de Wetering}, John},
 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},
 eprint       = {2003.01664},
)
@inproceedings(bardetImprovementsAlgebraicAttacks2020,
 author       = {Magali Bardet and Maxime Bros and Daniel Cabarcas and Philippe Gaborit and Ray Perlner and {Smith-Tone}, Daniel and Jean-Pierre Tillich and Javier Verbel},
 year         = {2020},
 title        = {Improvements of {{Algebraic Attacks}} for {{Solving}} the {{Rank Decoding}} and {{MinRank Problems}}},
 editor       = {Shiho Moriai and Huaxiong Wang},
 booktitle    = {Advances in {{Cryptology}} -- {{ASIACRYPT}} 2020},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {507--536},
 doi          = {10.1007/978-3-030-64837-4_17},
)
@inproceedings(broadbentUniversalBlindQuantum2009,
 author       = {Anne Broadbent and Joseph Fitzsimons and Elham Kashefi},
 year         = {2009},
 title        = {Universal {{Blind Quantum Computation}}},
 booktitle    = {2009 50th {{Annual IEEE Symposium}} on {{Foundations}} of {{Computer Science}}},
 pages        = {517--526},
 doi          = {10.1109/FOCS.2009.36},
)
@article(browneGeneralizedFlowDeterminism2007,
 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},
)
@article(bussComputationalComplexityProblems1999,
 author       = {Jonathan F. Buss and Gudmund S. Frandsen and Jeffrey O. Shallit},
 year         = {1999},
 title        = {The {{Computational Complexity}} of {{Some Problems}} of {{Linear Algebra}}},
 journal      = {Journal of Computer and System Sciences},
 volume       = {58},
 number       = {3},
 pages        = {572--596},
 doi          = {10.1006/jcss.1998.1608},
)
@article(coeckeInteractingQuantumObservables2011,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting {{Quantum Observables}}: {{Categorical Algebra}} and {{Diagrammatics}}},
 journal      = {New Journal of Physics},
 volume       = {13},
 number       = {4},
 pages        = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
 eprint       = {0906.4725},
)
@article(danosDeterminismOnewayModel2006,
 author       = {Vincent Danos and Elham Kashefi},
 year         = {2006},
 title        = {Determinism in the One-Way Model},
 journal      = {Physical Review A},
 volume       = {74},
 number       = {5},
 pages        = {052310},
 doi          = {10.1103/PhysRevA.74.052310},
)
@misc(debeaudrapCompleteAlgorithmFind2007,
 author       = {{de Beaudrap}, Niel},
 year         = {2007},
 title        = {A Complete Algorithm to Find Flows in the One-Way Measurement Model},
 doi          = {10.48550/arXiv.quant-ph/0603072},
 eprint       = {quant-ph/0603072},
)
@article(debeaudrapFindingFlowsOneway2008,
 author       = {{de Beaudrap}, Niel},
 year         = {2008},
 title        = {Finding Flows in the One-Way Measurement Model},
 journal      = {Physical Review A},
 volume       = {77},
 number       = {2},
 pages        = {022328},
 doi          = {10.1103/PhysRevA.77.022328},
)
@inproceedings(debeaudrapCircuitExtractionZXDiagrams2022c,
 author       = {{de Beaudrap}, Niel and Aleks Kissinger and {van de Wetering}, John},
 year         = {2022},
 title        = {Circuit {{Extraction}} for {{ZX-Diagrams Can Be}} $\#\mathrm{P}$-{{Hard}}},
 booktitle    = {49th {{International Colloquium}} on {{Automata}}, {{Languages}}, and {{Programming}} ({{ICALP}} 2022)},
 series       = {{{LIPIcs}}},
 volume       = {229},
 pages        = {119:1--119:19},
 doi          = {10.4230/LIPIcs.ICALP.2022.119},
)
@article(demilloProbabilisticRemarkAlgebraic1978,
 author       = {Richard A. Demillo and Richard J. Lipton},
 year         = {1978},
 title        = {A Probabilistic Remark on Algebraic Program Testing},
 journal      = {Information Processing Letters},
 volume       = {7},
 number       = {4},
 pages        = {193--195},
 doi          = {10.1016/0020-0190(78)90067-4},
)
@article(duncanGraphtheoreticSimplificationQuantum2020,
 author       = {Ross Duncan and Aleks Kissinger and Simon Perdrix and {van de Wetering}, John},
 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},
 eprint       = {1902.03178},
)
@article(gashkovComplexityComputationFinite2013,
 author       = {Sergey B. Gashkov and Igor S. Sergeev},
 year         = {2013},
 title        = {Complexity of Computation in Finite Fields},
 journal      = {Journal of Mathematical Sciences},
 volume       = {191},
 number       = {5},
 pages        = {661--685},
 doi          = {10.1007/s10958-013-1350-5},
)
@misc(gottesmanHeisenbergRepresentationQuantum1998a,
 author       = {Daniel Gottesman},
 year         = {1998},
 title        = {The {{Heisenberg Representation}} of {{Quantum Computers}}},
 doi          = {10.48550/arXiv.quant-ph/9807006},
 eprint       = {quant-ph/9807006},
)
@inproceedings(harveyComplexityMatrixCompletion2006,
 author       = {Nicholas J. A. Harvey and David R. Karger and Sergey Yekhanin},
 year         = {2006},
 title        = {The Complexity of Matrix Completion},
 booktitle    = {Proceedings of the Seventeenth Annual {{ACM-SIAM}} Symposium on {{Discrete}} Algorithm - {{SODA}} '06},
 publisher    = {ACM Press},
 address      = {Miami, Florida},
 pages        = {1103--1111},
 doi          = {10.1145/1109557.1109679},
)
@misc(hostetterGaloisPerformantNumPy2020fixed,
 author       = {Matt Hostetter},
 year         = {2020},
 title        = {{Galois: A performant NumPy extension for Galois fields}},
 howpublished = {\href{https://github.com/mhostetter/galois}{https://github.com/mhostetter/galois}},
 note         = {(accessed February 2024)},
)
@article(ivanyosDeterministicPolynomialTime2010,
 author       = {G{\'a}bor Ivanyos and Marek Karpinski and Nitin Saxena},
 year         = {2010},
 title        = {Deterministic {{Polynomial Time Algorithms}} for {{Matrix Completion Problems}}},
 journal      = {SIAM Journal on Computing},
 doi          = {10.1137/090781231},
)
@misc(frankluebeckhomepagefixed,
 author       = {Frank Luebeck},
 year         = {2021},
 title        = {Conway Polynomials for Finite Fields},
 howpublished = {\href{https://www.math.rwth-aachen.de/~Frank.Luebeck/data/ConwayPol/index.html}{https://www.math.rwth-aachen.de/$\sim$Frank.Luebeck/data/ConwayPol/index.html}},
 note         = {(accessed February 2024)},
)
@article(mahajanComplexityMatrixRank2010,
 author       = {Meena Mahajan and Jayalal M. N. Sarma},
 year         = {2010},
 title        = {On the {{Complexity}} of {{Matrix Rank}} and {{Rigidity}}},
 journal      = {Theory of Computing Systems},
 volume       = {46},
 number       = {1},
 pages        = {9--26},
 doi          = {10.1007/s00224-008-9136-8},
)
@article(mantriUniversalityQuantumComputation2017,
 author       = {Atul Mantri and Tommaso F. Demarie and Joseph F. Fitzsimons},
 year         = {2017},
 title        = {Universality of Quantum Computation with Cluster States and ({{X}}, {{Y}})-Plane Measurements},
 journal      = {Scientific Reports},
 volume       = {7},
 number       = {1},
 pages        = {42861},
 doi          = {10.1038/srep42861},
)
@incollection(markhamEntanglementFlowClassical2014,
 author       = {Damian Markham and Elham Kashefi},
 year         = {2014},
 title        = {Entanglement, {{Flow}} and {{Classical Simulatability}} in {{Measurement Based Quantum Computation}}},
 editor       = {{van Breugel}, Franck and Elham Kashefi and Catuscia Palamidessi and Jan Rutten},
 booktitle    = {Horizons of the {{Mind}}. {{A Tribute}} to {{Prakash Panangaden}}: {{Essays Dedicated}} to {{Prakash Panangaden}} on the {{Occasion}} of {{His}} 60th {{Birthday}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {427--453},
 doi          = {10.1007/978-3-319-06880-0_22},
)
@article(mcelvanneyCompleteFlowPreservingRewrite2023,
 author       = {Tommy McElvanney and Miriam Backens},
 year         = {2023},
 title        = {Complete {{Flow-Preserving Rewrite Rules}} for {{MBQC Patterns}} with {{Pauli Measurements}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {394},
 pages        = {66--82},
 doi          = {10.4204/EPTCS.394.5},
)
@article(mcelvanneyFlowpreservingZXcalculusRewrite2023a,
 author       = {Tommy McElvanney and Miriam Backens},
 year         = {2023},
 title        = {Flow-Preserving {{ZX-calculus Rewrite Rules}} for {{Optimisation}} and {{Obfuscation}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {384},
 pages        = {203--219},
 doi          = {10.4204/EPTCS.384.12},
 eprint       = {2304.08166},
)
@inproceedings(mhallaWhichGraphStates2014a,
 author       = {Mehdi Mhalla and Mio Murao and Simon Perdrix and Masato Someya and Peter S. Turner},
 year         = {2014},
 title        = {Which Graph States Are Useful for Quantum Information Processing?},
 editor       = {Dave Bacon and {Martin-Delgado}, Miguel and Martin Roetteler},
 booktitle    = {Theory of Quantum Computation, Communication, and Cryptography},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {174--187},
 doi          = {10.1007/978-3-642-54429-3_12},
)
@inproceedings(mhallaFindingOptimalFlows2008a,
 author       = {Mehdi Mhalla and Simon Perdrix},
 year         = {2008},
 title        = {Finding {{Optimal Flows Efficiently}}},
 editor       = {Luca Aceto and Damg{\r a}rd, Ivan and Leslie Ann Goldberg and Magn{\'u}s M. Halld{\'o}rsson and Anna Ing{\'o}lfsd{\'o}ttir and Igor Walukiewicz},
 booktitle    = {Automata, {{Languages}} and {{Programming}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {857--868},
 doi          = {10.1007/978-3-540-70575-8_70},
)
@misc(mhallaCharacterisingDeterminismMBQCs2022,
 author       = {Mehdi Mhalla and Simon Perdrix and Luc Sanselme},
 year         = {2022},
 title        = {Characterising {{Determinism}} in {{MBQCs}} Involving {{Pauli Measurements}}},
 doi          = {10.48550/arXiv.2207.09368},
 eprint       = {2207.09368},
)
@misc(mitosekbackensupcoming,
 author       = {Piotr Mitosek and Miriam Backens},
 title        = {Unpublished Upcoming Paper},
)
@book(ore1921höhere,
 author       = {{\O}ystein Ore},
 year         = {1921},
 title        = {{\"U}ber H{\"o}here Kongruenzen},
 series       = {Norsk Matematisk Forenings Skrifter},
 publisher    = {Gr{\o}ndahl},
)
@article(raussendorfOneWayQuantumComputer2001,
 author       = {Robert Raussendorf and Hans J. Briegel},
 year         = {2001},
 title        = {A {{One-Way Quantum Computer}}},
 journal      = {Physical Review Letters},
 volume       = {86},
 number       = {22},
 pages        = {5188--5191},
 doi          = {10.1103/PhysRevLett.86.5188},
)
@article(raussendorfOnewayQuantumComputer2002,
 author       = {Robert Raussendorf and Daniel E. Browne and Hans J. Briegel},
 year         = {2002},
 title        = {The One-Way Quantum Computer - a Non-Network Model of Quantum Computation},
 journal      = {Journal of Modern Optics},
 volume       = {49},
 number       = {8},
 pages        = {1299--1306},
 doi          = {10.1080/09500340110107487},
 eprint       = {quant-ph/0108118},
)
@article(raussendorfMeasurementbasedQuantumComputation2003,
 author       = {Robert Raussendorf and Daniel E. Browne and Hans J. Briegel},
 year         = {2003},
 title        = {Measurement-Based Quantum Computation on Cluster States},
 journal      = {Physical Review A},
 volume       = {68},
 number       = {2},
 pages        = {022312},
 doi          = {10.1103/PhysRevA.68.022312},
)
@article(schwartzFastProbabilisticAlgorithms1980,
 author       = {Jacob T. Schwartz},
 year         = {1980},
 title        = {Fast {{Probabilistic Algorithms}} for {{Verification}} of {{Polynomial Identities}}},
 journal      = {Journal of the ACM},
 volume       = {27},
 number       = {4},
 pages        = {701--717},
 doi          = {10.1145/322217.322225},
)
@article(simmonsRelatingMeasurementPatterns2021,
 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},
 eprint       = {2109.05654},
)
@article(staudacherReducing2QuBitGate2023,
 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      = {EPTCS},
 volume       = {394},
 pages        = {29--45},
 doi          = {10.4204/EPTCS.394.3},
)
@article(takeuchiQuantumComputationalUniversality2019,
 author       = {Yuki Takeuchi and Tomoyuki Morimae and Masahito Hayashi},
 year         = {2019},
 title        = {Quantum Computational Universality of Hypergraph States with {{Pauli-X}} and {{Z}} Basis Measurements},
 journal      = {Scientific Reports},
 volume       = {9},
 number       = {1},
 pages        = {13585},
 doi          = {10.1038/s41598-019-49968-3},
)
@misc(vandeweteringZXcalculusWorkingQuantum2020a,
 author       = {{van de Wetering}, John},
 year         = {2020},
 title        = {{{ZX-calculus}} for the Working Quantum Computer Scientist},
 doi          = {10.48550/arXiv.2012.13966},
 eprint       = {2012.13966},
)
@inproceedings(zippelProbabilisticAlgorithmsSparse1979,
 author       = {Richard Zippel},
 year         = {1979},
 title        = {Probabilistic Algorithms for Sparse Polynomials},
 editor       = {Edward W. Ng},
 booktitle    = {Symbolic and {{Algebraic Computation}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {216--226},
 doi          = {10.1007/3-540-09519-5_73},
)