| 59 | -- | 6 | Daniel Le Berre, Anne Parrain. The Sat4j library, release 2.2 |
| 65 | -- | 70 | Luca Pulina, Armando Tacchella. AQME 10 |
| 71 | -- | 76 | Florian Lonsing, Armin Biere. DepQBF: A Dependency-Aware QBF Solver |
| 77 | -- | 82 | Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz. Experiment design and administration for computer clusters for SAT-solvers (EDACC) |
| 83 | -- | 88 | Enrico Giunchiglia, Paolo Marin, Massimo Narizzano. QuBE7.0 |
| 89 | -- | 126 | Federico Heras, David Bañeres. The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers |