An Improved Generic Bet-and-Run Strategy with Performance Prediction for Stochastic Local Search.

Thomas Weise Zijun Wu Markus Wagner

Published in: AAAI (2019)

Keyphrases

stochastic local search
satisfiability problem
solving hard
combinatorial optimisation
search strategy
randomly generated
neural network
information retrieval
max sat
random sat instances
computationally hard problems
description logics
orders of magnitude
sat instances