Quantum SAT for a Qutrit-Cinquit Pair Is QMA1-Complete.

Lior Eldar Oded Regev

Published in: ICALP (1) (2008)

Keyphrases

pairwise
search algorithm
knowledge representation
sat solving
database
data sets
information retrieval
genetic algorithm
search engine
satisfiability problem
sat solvers
sat problem
variable ordering