Computational Complexity of Quantum Satisfiability.

Christian Herrmann, Martin Ziegler

Browse the full LICS paper archive.