Improving probability selection based weights for satisfiability problems.

Huimin Fu Jun Liu Guanfeng Wu Yang Xu Geoff Sutcliffe

Published in: Knowl. Based Syst. (2022)

Keyphrases

satisfiability problem
np complete
temporal logic
phase transition
search algorithm
davis putnam
stochastic local search algorithms
sat problem
mazurkiewicz traces
stochastic local search
probability distribution
pspace complete
max sat
solving hard
finite domain
sat instances
conditional probabilities
lower bound