Computational Complexity of Quantum Satisfiability

Christian Herrmann, Martin Ziegler. Computational Complexity of Quantum Satisfiability. In Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. pages 175-184, IEEE Computer Society, 2011. [doi]

Authors

Christian Herrmann

This author has not been identified. Look up 'Christian Herrmann' in Google

Martin Ziegler

This author has not been identified. Look up 'Martin Ziegler' in Google