-SAT Solutions in the Local Lemma Regime.

Weiming Feng Heng Guo Yitong Yin Chihao Zhang

Published in: J. ACM (2021)

Keyphrases

benchmark problems
stochastic local search algorithms
data sets
search algorithm
genetic algorithm
knowledge base
optimal solution
lower bound
simulated annealing
logic programming
feasible solution
search strategies
solution quality
max sat
stochastic local search
pseudo boolean constraints