Computational Complexity of Quantum Satisfiability - Christian Herrmann; Martin Ziegler (2010)