|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
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 | |
|
|