1. Satisfiability in the Year 2000

   • Ian P. Gent
   • Toby Walsh

   OriginalPaper Pages: 99 - 99

2. An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation

   • Marco Cadoli
   • Marco Schaerf
   • Massimo Giovanardi

   OriginalPaper Pages: 101 - 142

3. SAT-Based Decision Procedures for Classical Modal Logics

   • Enrico Giunchiglia
   • Armando Tacchella
   • Fausto Giunchiglia

   OriginalPaper Pages: 143 - 171

4. Evaluating Optimized Decision Procedures for Propositional Modal K _(m) Satisfiability

   • Ian Horrocks
   • Peter F. Patel-Schneider

   OriginalPaper Pages: 173 - 204

5. Using Resolution for Testing Modal Satisfiability and Building Models

   • Ullrich Hustadt
   • Renate A. Schmidt

   OriginalPaper Pages: 205 - 232

6. Erratum

   Erratum Pages: 233 - 233