Stochastic Local Search: Foundations and Applications
SLS Implementations and Codes
- provides implementations of many prominent SAT and MAX-SAT
algorithms, including GSAT and WalkSAT algorithms, SAPS, and IRoTS.
Further information and the most current version
is available at the
UBCSAT web page.
2-opt, 3-opt and Iterated Local Search for the TSP
- provides implementations of many prominent ACO algorithms for
the TSP, including MAX-MIN Ant System and Ant Colony System.
For further information, please check the included README file.
This software is also available via the ACO page;
an earlier version was used to generate results for the book Ant Colony Optimization by
Marco Dorigo and Thomas Stüzle, MIT Press, Cambridge, MA, USA,
Note: We are planning to make additional SLS implementations
available here in the near future.
[Back to SLS Book Home Page]
© 2004 Holger H. Hoos & Thomas Stützle