Login / Signup

EasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms.

Luca Di GasperoAndrea Schaerf
Published in: SLS (2007)
Keyphrases
  • stochastic local search algorithms
  • search algorithm
  • fully automatic
  • satisfiability problem
  • software tools
  • structural analysis
  • data sets
  • neural network
  • data mining
  • website
  • web services
  • constraint satisfaction