1. Resolution Proofs of Matching Principles

   • Alasdair Urquhart

   OriginalPaper Pages: 241 - 250

2. Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas

   • Emmanuel Benoist
   • Jean-Jacques Hébrard

   OriginalPaper Pages: 251 - 272

3. Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights

   • Hans van Maaren
   • Joost P. Warners

   OriginalPaper Pages: 273 - 283

4. On Semidefinite Programming Relaxations of (2+p)-SAT

   • E. de Klerk
   • H. van Maaren

   OriginalPaper Pages: 285 - 305

5. An Overview of Backtrack Search Satisfiability Algorithms

   • Inês Lynce
   • João P. Marques-Silva

   OriginalPaper Pages: 307 - 326

6. Annals of Mathematics and Artificial Intelligence

   Summary List Pages: 327 - 330