TY - RPRT TI - Computational Complexity of Quantum Satisfiability AU - Christian Herrmann AU - Martin Ziegler PY - 2012 UR - https://arxiv.org/abs/1004.1696 ID - 1004.1696 ER -