|
SAT 2023: 26TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
TALK AUTHOR INDEX
A | Anders, Markus | | Atserias, Albert | | Avigad, Jeremy | | B | Baluta, Teodora | | Beyersdorff, Olaf | | Biere, Armin | | Bonacina, Ilario | | Bonet, María-Luisa | | Bryant, Randal | | Burns, Matthew | | Böhm, Benjamin | | C | Chung, Jonathan | | D | de Colnet, Alexis | | F | Fazekas, Katalin | | Fleming, Noah | | Fleury, Mathias | | Fried, Dror | | Froleyks, Nils | | Fung, Long-Hin | | G | Ganesh, Vijay | | Green, Harrison | | H | Haberlandt, Andrew | | He, Bo | | Heisinger, Maximilian | | Heule, Marijn | | Hoffmann, Tim | | Huang, Michael | | K | Katsirelos, George | | Kirchweger, Markus | | Kolokolova, Antonina | | L | Levy, Jordi | | Li, Chunxiao | | Liang, Jiaxin | | M | Major, Juraj | | Manquinho, Vasco | | Martins, Ruben | | Masina, Gabriele | | Meel, Kuldeep S. | | Mengel, Stefan | | N | Nadel, Alexander | | Nawrocki, Wojciech | | Niemetz, Aina | | O | Oliveras, Albert | | Orvalho, Pedro | | P | Peitl, Tomáš | | Plank, Andreas | | Pollitt, Florian | | Preiner, Mathias | | R | Rebola Pardo, Adrian | | S | Scheucher, Manfred | | Schwarzová, Tereza | | Schweitzer, Pascal | | Sebastiani, Roberto | | Seidl, Martina | | Shaik, Irfansha | | Shalmon, Yogev | | Sharma, Anshujit | | Shaw, Arijit | | Soos, Mate | | Spachmann, Luc Nicolas | | Spallitta, Giuseppe | | Strejček, Jan | | Szeider, Stefan | | T | Tan, Tony | | Torán, Jacobo | | V | van de Pol, Jaco | | Vinyals, Marc | | W | Wang, Ruiwei | | Wang, Wenxi | | Williams, Ryan | | Wu, Darryl | | Wörz, Florian | | Y | Yang, Jiong | | Yap, Roland | | Yin, Minghao | | Z | Zhou, Junping | | Zhou, Neng-Fa | |
|
|