Login / Signup
An exact tensor network for the 3SAT problem
Artur García-Sáez
José Ignacio Latorre
Published in:
CoRR (2011)
Keyphrases
</>
sat problem
satisfiability problem
sat solvers
constraint satisfaction problems
phase transition
stochastic local search
boolean satisfiability
randomly generated
max sat
information retrieval
cellular automata
search strategies
sat instances
random sat instances