POS 2014 PROCEEDINGS

Editor: Daniel Le Berre

Authors	Title	Talk
Gilles Audemard, Benoît Hoessen, Saïd Jabbour and Cédric Piette	Dolius: A Distributed Parallel SAT Solving Framework	Jul 13 09:15
Marijn Heule, Norbert Manthey and Tobias Philipp	Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers	Jul 13 09:45
Laurent Simon	Post Mortem Analysis of SAT Solver Proofs	Jul 13 10:45
Zoltan Mann and Pal Papp	Formula partitioning revisited	Jul 13 11:15
Norbert Manthey and Enrique Alfonso	New CNF Features and Formula Classification	Jul 13 11:45
Zoltan Mann	Typical-case complexity and the SAT competitions	Jul 13 12:15
Armin Biere	Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling	Jul 13 14:30
Norbert Manthey, Peter Steinke, Steffen Hölldobler and Tobias Philipp	Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers	Jul 13 15:30