HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
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 solving2, SAT encodings, SAT preprocessing, SAT solving, satisfiability, Search Space Splitting.

Copyright © 2012-2025 easychair.org. All rights reserved.