POS-13: Keyword Index

Keyword	Papers
a
Algorithm Configuration	Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
Application of SAT	SAT Encodings for the Car Sequencing Problem
c
Car Sequencing	SAT Encodings for the Car Sequencing Problem
clause sharing	Modern Cooperative Parallel SAT Solving
cooperative parallelization	Modern Cooperative Parallel SAT Solving
d
Decomposition into CNF	SAT Encodings for the Car Sequencing Problem
i
Iterative partitioning	Modern Cooperative Parallel SAT Solving
l
look-ahead	Modern Cooperative Parallel SAT Solving
m
Multi-Core SAT solving	Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures
p
parallel SAT solving	Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures Modern Cooperative Parallel SAT Solving
s
SAT encodings	SAT Encodings for the Car Sequencing Problem
SAT preprocessing	Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
SAT solving	Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
satisfiability	Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures
Search Space Splitting	Modern Cooperative Parallel SAT Solving