Sign in
Human-Guided Enhancement of a Stochastic Local Search: Visualization and Adjustment of 3D Pheromone.
Jaya Sreevalsan-Nair
Meike Verhoeven
David L. Woodruff
Ingrid Hotz
Bernd Hamann
Published in:
SLS (2007)
Keyphrases
</>
stochastic local search
satisfiability problem
combinatorial optimisation
phase transition
randomly generated
max sat
random sat instances
sat problem
solving hard
upper bound
ant colony optimization
quadratic assignment problem