More efficient stochastic local search for satisfiability.

Huimin Fu Guanfeng Wu Jun Liu Yang Xu

Published in: Appl. Intell. (2021)

Keyphrases

stochastic local search
satisfiability problem
sat problem
phase transition
np complete
sat instances
combinatorial optimisation
optimization problems
max sat
solving hard
information retrieval systems
temporal logic
randomly generated