More efficient two-mode stochastic local search for random 3-satisfiability.

Chuan Luo Kaile Su Shaowei Cai

Published in: Appl. Intell. (2014)

Keyphrases

stochastic local search
satisfiability problem
randomly generated
random sat instances
sat problem
phase transition
combinatorial optimisation
max sat
temporal logic
sat instances
solving hard
np complete
search algorithm
random sat
neural network
description logics
computational complexity