TU Wien University of Durham University of Toronto Austrian Academy of Sciences
Doctoral advisors
Herbert Fleischner Georg Gottlob
Stefan Szeider is an Austrian computer scientist who works on the areas of algorithms, computational complexity, theoretical computer science, and more specifically on propositional satisfiability, constraint satisfaction problems, and parameterised complexity. He is a full professor at the Faculty of Informatics[1] at the Vienna University of Technology (TU Wien), the head of the Algorithms and Complexity Group, and co-chair of the Vienna Center for Logic and Algorithms (VCLA) of TU Wien.[2][3]
^"Faculty of Informatics, TU Wien". Retrieved 13 January 2017.
^"Stefan Szeider - Algorithms and Complexity Group". Retrieved 9 January 2017.
^"Computerwissenschafter der TU Wien wollen internationale Marke werden". Der Standard (in German). 25 January 2012. Retrieved 20 April 2020.
StefanSzeider is an Austrian computer scientist who works on the areas of algorithms, computational complexity, theoretical computer science, and more...
Filippo Bonchi Simon J. Puglisi LIPIcs 202 MFCS 2022 Vienna, Austria StefanSzeider Robert Ganian Alexandra Silva LIPIcs 241 MFCS 2023 Bordeaux, France...
Robert; Lonsing, Florian; Biere, Armin (2010-07-11). Strichman, Ofer; Szeider, Stefan (eds.). Automated Testing and Debugging of SAT and QBF Solvers. Lecture...
words problem Fellows, Michael R.; Rosamond, Frances A.; Rotics, Udi; Szeider, Stefan (2009), "Clique-width is NP-complete" (PDF), SIAM Journal on Discrete...
co-founder of the Vienna Center for Logic and Algorithms (together with StefanSzeider). Veith was member of the organizational board of the largest logic...
Anwendung in der Informatik (1981) Doctoral advisor Curt Christian Doctoral students StefanSzeider Helmut Veith Website cs.ox.ac.uk/people/georg.gottlob...
"AIFdb: Infrastructure for the Argument Web". In Verheij, Bart; Szeider, Stefan; Woltran, Stefan (eds.). Computational Models of Argument. Frontiers in Artificial...
"Fixed-Parameter and Approximation Algorithms: A New Look". In Gutin, Gregory; Szeider, Stefan (eds.). Parameterized and Exact Computation. Lecture Notes in Computer...
"AIFdb: Infrastructure for the Argument Web". In Verheij, Bart; Szeider, Stefan; Woltran, Stefan (eds.). Computational Models of Argument. Frontiers in Artificial...
(1): 153–158, doi:10.1006/jctb.1995.1011, MR 1309363 Heule, Marijn; Szeider, Stefan (2015), "A SAT approach to clique-width", ACM Transactions on Computational...