Fast sampling and counting k-SAT solutions in the local lemma regime.

Weiming Feng Heng Guo Yitong Yin Chihao Zhang

Published in: STOC (2020)

Keyphrases

monte carlo
optimal solution
stochastic local search algorithms
genetic algorithm
learning algorithm
evolutionary algorithm
feasible solution
sat solvers
search procedures
sampling strategy
propositional satisfiability