| 1 | -- | 12 | Stefan Szeider. Matched Formulas and Backdoor Sets |
| 13 | -- | 32 | Utz-Uwe Haus, Klaus Truemper, Robert Weismantel. Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks |
| 33 | -- | 51 | Roman Gershman, Ofer Strichman. HaifaSat: a SAT solver based on an Abstraction/Refinement model |
| 53 | -- | 69 | Edward A. Hirsch, Arist Kojevnikov, Alexander S. Kulikov, Sergey I. Nikolenko. Complexity of Semialgebraic Proofs with Restricted Degree of Falsity |
| 71 | -- | 98 | Luís Gil, Paulo F. Flores, Luis Miguel Silveira. PMSat: a parallel version of MiniSAT |
| 99 | -- | 120 | Geoffrey Chu, Aaron Harwood, Peter J. Stuckey. Cache Conscious Data Structures for Boolean Satisfiability Solvers |
| 121 | -- | 139 | Christoph Buchheim, Giovanni Rinaldi. Terse Integer Linear Programs for Boolean Optimization |
| 141 | -- | 164 | Alexander Hertel, Alasdair Urquhart. Algorithms and Complexity Results for Input and Unit Resolution |
| 165 | -- | 201 | Robert Brummayer, Armin Biere. Lemmas on Demand for the Extensional Theory of Arrays |