POS-18: Author Index

Author	Papers
B
Berg, Jeremias	Applications of MaxSAT in Data Analysis
Biere, Armin	Evaluating CDCL Restart Schemes Two flavors of DRAT The Effect of Scrambling CNFs
E
Ehlers, Thorsten	Tuning Parallel SAT Solvers
F
Fischmeister, Sebastian	Predicting SAT Solver Performance on Heterogeneous Hardware
Fröhlich, Andreas	Evaluating CDCL Restart Schemes
G
Ganesh, Vijay	Predicting SAT Solver Performance on Heterogeneous Hardware
H
Heule, Marijn	The Effect of Scrambling CNFs
Hyttinen, Antti	Applications of MaxSAT in Data Analysis
I
Iser, Markus	A Problem Meta-Data Library for Research in SAT
J
Järvisalo, Matti	Applications of MaxSAT in Data Analysis
K
Karpiński, Michał	Competitive Sorter-based Encoding of PB-Constraints into SAT
L
Lennartz, Werner	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Leventi-Peetz, Anastasia	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
M
Manthey, Norbert	Checking Unsatisfiability Proofs in Parallel
N
Newsham, Zack	Predicting SAT Solver Performance on Heterogeneous Hardware
Nowotka, Dirk	Tuning Parallel SAT Solvers
P
Philipp, Tobias	Checking Unsatisfiability Proofs in Parallel
Piotrów, Marek	Competitive Sorter-based Encoding of PB-Constraints into SAT
R
Rebola-Pardo, Adrián	Two flavors of DRAT
S
Sinz, Carsten	A Problem Meta-Data Library for Research in SAT
W
Weber, Kai	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Z
Zendel, Oliver	CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances