An exact tensor network for the 3SAT problem.

Artur García-Sáez José Ignacio Latorre

Published in: Quantum Inf. Comput. (2012)

Keyphrases

sat problem
sat solvers
phase transition
satisfiability problem
orders of magnitude
stochastic local search
random sat instances
genetic algorithm
learning algorithm
data structure
search algorithm
randomly generated
max sat
sat solving