Syntactic Separation of Subset Satisfiability Problems.

Eric Allender Martin Farach-Colton Meng-Tsung Tsai

Published in: APPROX-RANDOM (2019)

Keyphrases

satisfiability problem
np complete
temporal logic
phase transition
search algorithm
sat problem
pspace complete
stochastic local search algorithms
stochastic local search
solving hard
natural language
finite domain
conjunctive normal form
davis putnam
max sat