Augmenting Stochastic Local Search with Heuristics.

Ramoni O. Lasisi Robert DuPont

Published in: UEMCON (2018)

Keyphrases

stochastic local search
solving hard
satisfiability problem
combinatorial optimisation
phase transition
randomly generated
max sat
tree search
quadratic assignment problem
propositional satisfiability
search algorithm
sat instances
computationally hard problems
dynamic programming
np complete
sat problem