Quantum 3-SAT is QMA1-complete.

David Gosset Daniel Nagaj

Published in: CoRR (2013)

Keyphrases

search algorithm
data sets
search strategies
information systems
phase transition
satisfiability problem
sat solvers
quantum computing