Vol 6 (2008)

Includes a Special Issue on Parallel SAT Solving

Table of Contents


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

Special Issue on Parallel SAT Solving

PaMiraXT: Parallel SAT Solving with Threads and Message Passing PDF
Tobias Schubert, Matthew Lewis, Bernd Becker 203-222
Incorporating Clause Learning in Grid-Based Randomized SAT Solving PDF
Antti E.J. Hyvaerinen, Tommi Junttila, Ilkka Niemela 223-244
ManySAT: a Parallel SAT Solver PDF
Youssef Hamadi, Said Jabbour, Lakhdar Sais 245-262
Conclusion to the Special Issue on Parallel SAT Solving PDF
Youssef Hamadi