Stochastic Local Search for direct training of threshold networks.

Mauro Brunato Roberto Battiti

Published in: IJCNN (2015)

Keyphrases

stochastic local search
satisfiability problem
combinatorial optimisation
randomly generated
solving hard
neural network
max sat
random sat instances
information retrieval
objective function
upper bound
particle swarm optimization
phase transition
sat problem