Christian Herrmann 0003 Martin Ziegler 0001 Computational Complexity of Quantum Satisfiability. 19:1-19:31 2016 63 J. ACM 2 https://doi.org/10.1145/2869073 https://www.wikidata.org/entity/Q66459637 db/journals/jacm/jacm63.html#Herrmann016