POS-14: Author Index

AuthorPapers
A
Audemard, GillesDolius: A Distributed Parallel SAT Solving Framework
B
Biere, ArminLingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling
iDQ: Instantiation-Based DQBF Solving
F
Fröhlich, AndreasiDQ: Instantiation-Based DQBF Solving
H
Heule, MarijnValidating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Hoessen, BenoîtDolius: A Distributed Parallel SAT Solving Framework
Hölldobler, SteffenGeneric CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
J
Jabbour, SaidDolius: A Distributed Parallel SAT Solving Framework
K
Kovásznai, GergelyiDQ: Instantiation-Based DQBF Solving
M
Mann, ZoltanFormula partitioning revisited
Typical-case complexity and the SAT competitions
Manthey, NorbertValidating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
New CNF Features and Formula Classification
Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
Matos Alfonso, EnriqueNew CNF Features and Formula Classification
P
Papp, PalFormula partitioning revisited
Philipp, TobiasValidating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
Piette, CédricDolius: A Distributed Parallel SAT Solving Framework
S
Simon, LaurentPost Mortem Analysis of SAT Solver Proofs
Steinke, PeterGeneric CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
V
Veith, HelmutiDQ: Instantiation-Based DQBF Solving