| 0 | -- | 0 | Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li. Guest Editors Conclusion |
| 75 | -- | 97 | Armin Biere. PicoSAT Essentials |
| 99 | -- | 116 | Marijn Heule, Hans van Maaren. Parallel SAT Solving using Bit-level Operations |
| 117 | -- | 148 | Marijn Heule, Hans van Maaren. Whose side are you on? Finding solutions in a biased search-tree |
| 149 | -- | 172 | Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar. Combining Adaptive and Dynamic Local Search for Satisfiability |
| 173 | -- | 190 | Ivor Spence. tts: A SAT-Solver for Small, Difficult Instances |
| 191 | -- | 217 | Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche. Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis |
| 219 | -- | 237 | Wanxia Wei, Chu Min Li, Harry Zhang. A Switching Criterion for Intensification and Diversification in Local Search for SAT |
| 239 | -- | 250 | Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex. 2006 and 2007 Max-SAT Evaluations: Contributed Instances |
| 251 | -- | 278 | Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes. The First and Second Max-SAT Evaluations |