1. New Worst-Case Upper Bounds for SAT

   • Edward A. Hirsch

   OriginalPaper Pages: 397 - 420

2. Local Search Algorithms for SAT: An Empirical Evaluation

   • Holger H. Hoos
   • Thomas Stützle

   OriginalPaper Pages: 421 - 481

3. Nonsystematic Search and No-Good Learning

   • E. Thomas Richards
   • Barry Richards

   OriginalPaper Pages: 483 - 533