Login / Signup
Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability.
Thach-Thao Nguyen Duong
Duc Nghia Pham
Abdul Sattar
M. A. Hakim Newton
Published in:
IJCAI (2013)
Keyphrases
</>
stochastic local search
satisfiability problem
phase transition
solving hard
combinatorial optimisation
sat problem
max sat
tabu search
randomly generated
sat instances
random sat instances
search algorithm
np complete
tree search
information retrieval
computationally hard problems