Locality in Random SAT Instances.

Jesús Giráldez-Cru Jordi Levy

Published in: IJCAI (2017)

Keyphrases

random sat instances
stochastic local search
sat problem
sat solvers
max sat
boolean satisfiability
sat instances
computational complexity
lower bound
random sat