POS 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B H J M P S

A
Alfonso, Enrique	New CNF Features and Formula Classification (PDF, talk)
Audemard, Gilles	Dolius: A Distributed Parallel SAT Solving Framework (PDF, talk)
B
Biere, Armin	Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling (PDF, talk)
H
Heule, Marijn	Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers (PDF, talk)
Hoessen, Benoît	Dolius: A Distributed Parallel SAT Solving Framework (PDF, talk)
Hölldobler, Steffen	Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers (PDF, talk)
J
Jabbour, Saïd	Dolius: A Distributed Parallel SAT Solving Framework (PDF, talk)
M
Mann, Zoltan	Formula partitioning revisited (PDF, talk) Typical-case complexity and the SAT competitions (PDF, talk)
Manthey, Norbert	Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers (PDF, talk) New CNF Features and Formula Classification (PDF, talk) Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers (PDF, talk)
P
Papp, Pal	Formula partitioning revisited (PDF, talk)
Philipp, Tobias	Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers (PDF, talk) Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers (PDF, talk)
Piette, Cédric	Dolius: A Distributed Parallel SAT Solving Framework (PDF, talk)
S
Simon, Laurent	Post Mortem Analysis of SAT Solver Proofs (PDF, talk)
Steinke, Peter	Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers (PDF, talk)