Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B F G H I J K M N P T W

A
Aono, Masashi	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
B
Berg, Jeremias	Applications of MaxSAT in Data Analysis
Biere, Armin	Evaluating CDCL Restart Schemes
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
Gorokhovsky, Elliot	Model Counting with Arbitrary Alphabets
H
Hyttinen, Antti	Applications of MaxSAT in Data Analysis
I
Iida, Yoichiro	Proposal and Application of Search Similarity Index for SAT solver
Inaba, Mary	Proposal and Application of Search Similarity Index for SAT solver
J
Järvisalo, Matti	Applications of MaxSAT in Data Analysis
K
Kasai, Seiya	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Kim, Song-Ju	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
M
Manthey, Norbert	Checking Unsatisfiability Proofs in Parallel
Miwa, Hiroyoshi	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Moon, Seongsoo	Proposal and Application of Search Similarity Index for SAT solver
N
Naruse, Makoto	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers
Newsham, Zack	Predicting SAT Solver Performance on Heterogeneous Hardware
P
Philipp, Tobias	Checking Unsatisfiability Proofs in Parallel
T
Tezuka, Hiroshi	Proposal and Application of Search Similarity Index for SAT solver
W
Wakabayashi, Masamitsu	Amoeba-inspired Spatiotemporal Dynamics for Physically Implemented Satisfiability Problem Solvers