Lior Eldar Oded Regev Quantum SAT for a Qutrit-Cinquit Pair Is QMA1-Complete. 881-892 2008 ICALP (1) http://dx.doi.org/10.1007/978-3-540-70575-8_72 conf/icalp/2008-1 db/conf/icalp/icalp2008-1.html#EldarR08