Sign in
Stochastic Local Search Techniques with Unimodal Continuous Distributions: A Survey.
Petr Posík
Published in:
EvoWorkshops (2009)
Keyphrases
</>
stochastic local search
satisfiability problem
solving hard
randomly generated
combinatorial optimisation
computationally hard problems
probability distribution
phase transition
sat problem
random sat instances
max sat
neural network
upper bound
sat instances