1. The CADE-17 ATP System Competition

   • G. Sutcliffe

   OriginalPaper Pages: 227 - 250

2. Stochastic Boolean Satisfiability

   • Michael L. Littman
   • Stephen M. Majercik
   • Toniann Pitassi

   OriginalPaper Pages: 251 - 296

3. An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic

   • Guido Fiorino

   OriginalPaper Pages: 297 - 311

4. I-SATCHMO: An Improvement of SATCHMO

   • Lifeng He

   OriginalPaper Pages: 313 - 322