POS-14: Volume Information

POS-14. Fifth Pragmatics of SAT workshop

9 articles116 pagesPublished: July 28, 2014

Papers

Gilles Audemard, Benoît Hoessen, Saïd Jabbour and Cédric Piette
1-11
Marijn Heule, Norbert Manthey and Tobias Philipp
12-25
Laurent Simon
26-40
Zoltan Mann and Pal Papp
41-56
Enrique Alfonso and Norbert Manthey
57-71
Zoltan Mann
72-87
Armin Biere
88
Steffen Hölldobler, Norbert Manthey, Tobias Philipp and Peter Steinke
89-102
Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut Veith
103-116

Keyphrases

abstraction, CDCL algorithm, clause sharing, CNF formulas, CNF partitioning, complexity analysis, distributed computing, Divide and Conquer, DQBF, DQDIMACS, EPR, feature extraction, Fiduccia-Mattheyses algorithm, Framework, hypergraph partitioning, Instantiation, machine learning, parallel satisfiability solver, QBF, SAT2, SAT competitions, SAT partitioning, SAT platform, SAT proofs, SAT solvers, SAT solving3, transition system, typical-case complexity, unsatisfiability proof.