@book(arora2009,
 author       = "S. Arora and B. Barak",
 year         = "2009",
 title        = "{Computational Complexity: A modern approach}",
 publisher    = "Cambridge Univeristy Press",
 address      = "Cambridge",
)
@article(bennet1997a,
 author       = "C.H. Bennet and E. Bernstein and G. Brassard and U. Vazirani",
 year         = "1997",
 title        = "Strengths and weakness of quantum computing",
 journal      = "SIAM Journal of Computing",
 volume       = "26",
 number       = "5",
 pages        = "1510--1523",
 doi          = "10.1137/S0097539796300933",
)
@unpublished(bravyi2006,
 author       = "S. Bravyi",
 year         = "2006",
 title        = "Efficient algorithm for a quantum analogue of 2-SAT",
 note         = "ArXiv:quant-ph/0602108v1",
)
@conference(bravyi2010,
 author       = "S. Bravyi and C. Moore and A. Russell",
 year         = "2010",
 title        = "Bounds on the Quantum Satisfiability Threshold",
 booktitle    = "Innovations in Computer Science (LCS 2010)",
 volume       = "978-7-302-21752-7",
 publisher    = "Tsinghua University Press",
 pages        = "391--402",
)
@book(cohen-tannoudji1977,
 author       = "C. Cohen-Tannoudji and B. Diu and F. Laloë",
 year         = "1977",
 title        = "Quantum Mechanics",
 publisher    = "Wiley",
 address      = "New York",
)
@article(georgakopoulos1988,
 author       = "G. Georgakopoulos and D. Kavvadias and C.H. Papadimitriou",
 year         = "1988",
 title        = "Probabilistic satisfiability",
 journal      = "Journal of Complexity",
 volume       = "4",
 number       = "1",
 pages        = "1--11",
 doi          = "10.1016/0885-064X(88)90006-4",
)
@book(kitaev2002,
 author       = "A. Kitaev and A. Shen and M. Vyalyi",
 year         = "2002",
 title        = "Classical and quantum computation",
 series       = "Graduate Studies in Mathematics",
 volume       = "47",
 publisher    = "American Mathematical Society",
 address      = "New York",
)
@article(laumann2010,
 author       = "C.R. Laumann and R. Moessner and A. Scardicchio and S.L. Sondhi",
 year         = "2010",
 title        = "Random quantum satisfiability",
 journal      = "Quantum Information and Computation",
 volume       = "10",
 number       = "1-2",
 pages        = "1--15",
)
@conference(liu2006,
 author       = "Y-K. Liu",
 year         = "2006",
 title        = "Consistency of Local Density Matrices is QMA-Complete",
 editor       = "J. Diaz et al.",
 booktitle    = "APPROX and RANDOM 2006",
 series       = "LNCS",
 volume       = "4110",
 publisher    = "Springer-Verlag",
 pages        = "438--449",
 doi          = "10.1007/11830924_40",
)
@book(nielsen2000,
 author       = "M.A. Nielsen and I.L. Chuang",
 year         = "2000",
 title        = "Quantum Computation and Quantum Information",
 publisher    = "Cambridge University Press",
 address      = "Cambridge",
)