Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B D E G H I J K L M N P R S W Z

B
Biere, Armin	Two flavors of DRAT The Effect of Scrambling CNFs
D
Demirović, Emir	Local-Style Search in the Linear MaxSAT Algorithm: A Computational Study of Solution-Based Phase Saving
E
Ehlers, Thorsten	Tuning Parallel SAT Solvers
Elffers, Jan	Divide and Conquer: Towards Faster Pseudo-Boolean Solving Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
G
Giráldez-Cru, Jesus	Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Gocht, Stephan	Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
H
Heule, Marijn	The Effect of Scrambling CNFs
I
Iser, Markus	A Problem Meta-Data Library for Research in SAT
J
Johnson, Andrew	Stedman and Erin Triples encoded as a SAT Problem
Järvisalo, Matti	Questions and Answers
K
Karpiński, Michał	Competitive Sorter-based Encoding of PB-Constraints into SAT
L
Le Berre, Daniel	On the use of solvers with docker technology
Lennartz, Werner	CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances
Leventi-Peetz, Anastasia	CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances
M
Malioutov, Dmitry	MLIC: A MaxSAT-Based framework for learning interpretable classification rules
Meel, Kuldeep S.	MLIC: A MaxSAT-Based framework for learning interpretable classification rules
N
Nordstrom, Jakob	Divide and Conquer: Towards Faster Pseudo-Boolean Solving Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Nowotka, Dirk	Tuning Parallel SAT Solvers
P
Piotrów, Marek	Competitive Sorter-based Encoding of PB-Constraints into SAT
R
Rebola Pardo, Adrian	Two flavors of DRAT
S
Simon, Laurent	Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
Sinz, Carsten	A Problem Meta-Data Library for Research in SAT
Stuckey, Peter J.	Local-Style Search in the Linear MaxSAT Algorithm: A Computational Study of Solution-Based Phase Saving
W
Weber, Kai	CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances
Z
Zendel, Oliver	CryptoMiniSat Parameter-Optimization for Solving Cryptographic Instances