@misc(backens2018zh,
 author       = {Miriam Backens and Aleks Kissinger},
 year         = {2018},
 title        = {ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
)
@article(Coecke2011,
 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},
)
@misc(colecomfort,
 author       = {Cole Comfort},
 year         = {2020},
 title        = {The ZX\& calculus: A complete graphical calculus for classical circuits using spiders},
)
@inproceedings(cook,
 author       = {Stephen A. Cook},
 year         = {1971},
 title        = {The Complexity of Theorem-Proving Procedures},
 booktitle    = {Proceedings of the Third Annual ACM Symposium on Theory of Computing},
 series       = {STOC \IeC{\textquoteright}71},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {151\IeC{\textendash}158},
 doi          = {10.1145/800157.805047},
)
@article(Damm2002,
 author       = {Carsten Damm and Markus Holzer and Pierre McKenzie},
 year         = {2002},
 title        = {The complexity of tensor calculus},
 journal      = {computational complexity},
 volume       = {11},
 number       = {1},
 pages        = {54--89},
 doi          = {10.1007/s00037-000-0170-4},
)
@article(garcia-saez2011,
 author       = {Garc\'{\i}a-S\'{a}ez, Artur and Jos\'{e} I. Latorre},
 year         = {2012},
 title        = {An Exact Tensor Network for the 3SAT Problem},
 journal      = {Quantum Info. Comput.},
 volume       = {12},
 number       = {3\IeC{\textendash}4},
 pages        = {283\IeC{\textendash}292},
)
@misc(gray2020,
 author       = {Johnnie Gray and Stefanos Kourtis},
 year         = {2020},
 title        = {Hyper-optimized tensor network contraction},
)
@misc(kissinger2019pyzx,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2019},
 title        = {PyZX: Large Scale Automated Diagrammatic Reasoning},
)
@article(10.21468/SciPostPhys.7.5.060,
 author       = {Stefanos Kourtis and Claudio Chamon and Eduardo R. Mucciolo and Andrei E. Ruckenstein},
 year         = {2019},
 title        = {{Fast counting with tensor networks}},
 journal      = {SciPost Phys.},
 volume       = {7},
 pages        = {60},
 doi          = {10.21468/SciPostPhys.7.5.060},
 url          = {https://scipost.org/10.21468/SciPostPhys.7.5.060},
)
@article(levin2007a,
 author       = {M. Levin and C. P. Nave},
 year         = {2007},
 title        = {{Tensor Renormalization Group Approach to Two-Dimensional Classical Lattice Models}},
 journal      = {Phys. Rev. Lett.},
 volume       = {99},
 number       = {12},
 pages        = {120601},
 doi          = {10.1103/PhysRevLett.99.120601},
)
@book(10.5555/2086753,
 author       = {Cristopher Moore and Stephan Mertens},
 year         = {2011},
 title        = {The Nature of Computation},
 publisher    = {Oxford University Press, Inc.},
 address      = {USA},
 doi          = {10.1093/acprof:oso/9780199233212.001.0001},
)
@misc(patil2019obstacles,
 author       = {Pranay Patil and Stefanos Kourtis and Claudio Chamon and Eduardo R. Mucciolo and Andrei E. Ruckenstein},
 year         = {2019},
 title        = {Obstacles to quantum annealing in a planar embedding of XORSAT},
)
@article(RicciTersenghi1639,
 author       = {Ricci-Tersenghi, Federico},
 year         = {2010},
 title        = {Being Glassy Without Being Hard to Solve},
 journal      = {Science},
 volume       = {330},
 number       = {6011},
 pages        = {1639--1640},
 doi          = {10.1126/science.1189804},
 url          = {https://science.sciencemag.org/content/330/6011/1639},
)
@article(levin,
 author       = {B. A. {Trakhtenbrot}},
 year         = {1984},
 title        = {A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms},
 journal      = {Annals of the History of Computing},
 volume       = {6},
 number       = {4},
 pages        = {384--400},
 doi          = {10.1109/MAHC.1984.10036},
)
@article(valiant1979complexity,
 author       = {Leslie G Valiant},
 year         = {1979},
 title        = {The complexity of enumeration and reliability problems},
 journal      = {SIAM Journal on Computing},
 volume       = {8},
 number       = {3},
 pages        = {410--421},
 doi          = {10.1137/0208032},
)
@article(verstraete2004,
 author       = {F. Verstraete and J. I. Cirac},
 year         = {2004},
 title        = {{Renormalization algorithms for Quantum-Many Body Systems in two and higher dimensions}},
 journal      = {arXiv:cond-mat/0407066},
 url          = {http://arxiv.org/abs/cond-mat/0407066},
)
@misc(wetering2019completeness,
 author       = {John van de Wetering and Sal Wolffs},
 year         = {2019},
 title        = {Completeness of the Phase-free ZH-calculus},
)