Login / Signup
Improving probability selecting based weights for Satisfiability Problem.
Huimin Fu
Yang Xu
Jun Liu
Guanfeng Wu
Geoff Sutcliffe
Published in:
CoRR (2020)
Keyphrases
</>
satisfiability problem
np complete
temporal logic
search algorithm
phase transition
sat problem
stochastic local search
solving hard
stochastic local search algorithms
sat instances
pspace complete
max sat
mazurkiewicz traces
finite domain
search strategies
query answering
computational complexity