SAT 2016: 19TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
GLOBAL TALK AUTHOR INDEX
A
Alt, Leonardo
Arif, M. Fareed
Audemard, Gilles
B
Balabanov, Valeriy
Balyo, Tomas
Becker, Bernd
Berend, Daniel
Berg, Jeremias
Beyersdorff, Olaf
Biere, Armin
Blinkhorn, Joshua
Bofill, Miquel
Bogaerts, Bart
Brayton, Robert K.
Bruynooghe, Maurice
C
Candeago, Lorenzo
Capelli, Florent
Charwat, Günther
Chau, Cuong
Chew, Leroy
Czarnecki, Krzysztof
Czarnecki, Krzysztof
D
De Micheli, Giovanni
de Oliveira Oliveira, Mateus
Dell, Holger
Denecker, Marc
Devriendt, Jo
Diptarama,
E
Egly, Uwe
Eiben, Eduard
Elffers, Jan
F
Fichte, Johannes K.
Fremont, Daniel J.
G
Ganesh, Vijay
Ganian, Robert
Garcia, Marc
Gebotys, Catherine
Giráldez-Cru, Jesús
H
Heule, Marijn
Hyvärinen, Antti
I
Ienne, Paolo
Ignatiev, Alexey
Inaba, Mary
Inala, Jeevana Priya
Iwata, Yoichi
J
Jamali, Sima
Janota, Mikolas
Janota, Mikolas
Jiang, Jie-Hong Roland
Johannsen, Jan
Jonas, Martin
Järvisalo, Matti
K
Khasidashvili, Zurab
Kim, Eunjung
Kleine Büning, Hans
Kolaitis, Phokion
Korovin, Konstantin
Korovin, Konstantin
Kullmann, Oliver
L
Lampis, Michael
Larraz, Daniel
Lauria, Massimo
Levy, Jordi
Liang, Jia
Lindauer, Marius
Lodha, Neha
Lonsing, Florian
Lonsing, Florian
M
Magnard, Thomas
Manthey, Norbert
Marek, Victor
Marescotti, Matteo
Marques-Silva, Joao
Mcbride, Ryan
Meier, Arne
Mencia, Carlos
Mengel, Stefan
Mishchenko, Alan
Mitchell, David
Mitsou, Valia
Moehle, Sibylle
Monniaux, David
Moon, Seongsoo
Mull, Nathan
Mömke, Tobias
N
Nejati, Saeed
Nordstrom, Jakob
O
Oliveras, Albert
Oparin, Vsevolod
Ordyniak, Sebastian
P
Peitl, Tomáš
Penaloza, Rafael
Petkovska, Ana
Poupart, Pascal
Previti, Alessandro
Pulina, Luca
R
Rabe, Markus
Rabe, Markus N.
Reger, Giles
Rodríguez Carbonell, Enric
Rubio, Albert
Ruemmer, Philipp
S
Saikko, Paul
Sakallah, Karem A.
Scharpfenecker, Patrick
Schaub, Torsten
Schindler, Irina
Schmidt, Renate
Scholl, Christoph
Sebastiani, Roberto
Seidl, Martina
Seshia, Sanjit A.
Sharygina, Natasha
Shinohara, Ayumi
Simon, Laurent
Singh, Rohit
Slivovsky, Friedrich
Soeken, Mathias
Solar-Lezama, Armando
Soos, Mate
Sterin, Baruch
Strejcek, Jan
Suda, Martin
Szeider, Stefan
T
Tasharrofi, Shahab
Tentrup, Leander
Tentrup, Leander
Torán, Jacobo
Twitto, Yochai
V
Van Gelder, Allen
Van Gelder, Allen
Villaret, Mateu
Vinyals, Marc
Voronkov, Andrei
W
Wimmer, Karina
Wimmer, Ralf
Wimmer, Ralf
Wintersteiger, Christoph M.
Woltran, Stefan
Y
Yoshinaka, Ryo
Z
Zeljić, Aleksandar
Zintchenko, Ilia