by Holger H. Hoos & Thomas Stützle

Book Chapters (for course use only)

• Chapter 1 (complete draft of 01/09/30): postscript version; PDF version
• Chapter 2 (complete draft of 01/09/30): postscript version; PDF version
• Chapter 3 (complete draft of 02/07/02): postscript version; PDF version
• Chapter 4 (complete draft of 02/07/07): postscript version; PDF version
• Chapter 5 (coming soon)
• Chapter 6 (complete draft of 02/08/22:) postscript version; PDF version
• Chapter 7 (complete draft of 02/10/31) postscript version; PDF version
• Chapter 8 (complete draft of 02/10/01): postscript version; PDF version
• Chapter 9 (coming soon)
• Chapter 10 (complete draft of 03/01/21): postscript version; PDF version
• Bibliography (version of 02/10/31): postscript version; PDF version

Overhead Slides - partial set of 2001/08/02

• complete postscript version

SLS Implementations & Codes

• GSAT and WalkSAT variants (UBC implementation)
• SAPS (Dynamic Local Search for SAT)
• ILS for MAX-SAT (TUD/UBC version)
• Iterative Improvement for the TSP (2-opt, 3-opt, ...; Version 0.01, 02/10/31): sources for Linux/Unix

Online Learning Aids - first version of 2001/08/03

• CIspace Applet "SLS Based CSP Solver"

Authors' WWW-Homepages

• Holger H. Hoos (University of British Columbia)
• Thomas Stützle (Technische Universität Darmstadt)