Performance of Sequential Local Algorithms for the Random NAE-K-SAT Problem.

David Gamarnik Madhu Sudan

Published in: SIAM J. Comput. (2017)

Keyphrases

orders of magnitude
learning algorithm
sat problem
reinforcement learning
computational complexity
satisfiability problem
data structure
constraint satisfaction
combinatorial optimization
randomly generated
stochastic local search
np complete problems
maximum satisfiability
random sat instances