Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

POS-13: Volume Information

POS-13. Pragmatics of SAT 2013

Editors: Daniel Le Berre

EPiC Series in Computing•Volume 29

4 articles•54 pages•Published: July 28, 2014

Papers

Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning

Adrian Balint and Norbert Manthey

1-14

SAT Encodings for the Car Sequencing Problem

Valentin Mayer-Eichberger and Toby Walsh

15-27

Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures

Martin Aigner, Armin Biere, Christoph Kirsch, Aina Niemetz and Mathias Preiner

28-40

Modern Cooperative Parallel SAT Solving

Norbert Manthey, Davide Lanti and Ahmed Irfan

41-54

Keyphrases

Algorithm Configuration, Application of SAT, Car Sequencing, clause sharing, cooperative parallelization, Decomposition into CNF, Iterative partitioning, look-ahead, Multi-Core SAT solving, parallel SAT solving², SAT encodings, SAT preprocessing, SAT solving, satisfiability, Search Space Splitting.