"Computational Complexity of Quantum Satisfiability."

Christian Herrmann, Martin Ziegler (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics