FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: BDEGHIJKLMNPRSWZ
B
Biere, Armin
D
Demirović, Emir
E
Ehlers, Thorsten
Elffers, Jan
G
Giráldez-Cru, Jesus
Gocht, Stephan
H
Heule, Marijn
I
Iser, Markus
J
Johnson, Andrew
Järvisalo, Matti
K
Karpiński, Michał
L
Le Berre, Daniel
Lennartz, Werner
Leventi-Peetz, Anastasia
M
Malioutov, Dmitry
Meel, Kuldeep S.
N
Nordstrom, Jakob
Nowotka, Dirk
P
Piotrów, Marek
R
Rebola Pardo, Adrian
S
Simon, Laurent
Sinz, Carsten
Stuckey, Peter J.
W
Weber, Kai
Z
Zendel, Oliver