-
Stefan Szeider is an
Austrian computer scientist who
works on the
areas of algorithms, com****tional complexity,
theoretical computer science, and more...
- in mathematics. Fellows,
Michael R.; Rosamond,
Frances A.; Rotics, Udi;
Szeider,
Stefan (2009), "Clique-width is NP-complete" (PDF), SIAM
Journal on Discrete...
- Robert; Lonsing, Florian; Biere,
Armin (2010-07-11). Strichman, Ofer;
Szeider,
Stefan (eds.).
Automated Testing and
Debugging of SAT and QBF Solvers...
- Lawrence, John; Bex, Floris; Reed, Chris; Snaith, Mark (2012). Verheij, Bart;
Szeider, Stefan; Woltran,
Stefan (eds.). AIFdb:
infrastructure for the argument...
-
Filippo Bonchi Simon J.
Puglisi LIPIcs 202 MFCS 2022 Vienna,
Austria Stefan Szeider Robert Ganian Alexandra Silva LIPIcs 241 MFCS 2023 Bordeaux,
France Sylvain...
-
Anwendung in der Informatik (1981)
Doctoral advisor Curt
Christian Doctoral students Stefan Szeider Helmut Veith Website cs.ox.ac.uk/people/georg.gottlob...
-
Subhash Suri
Klaus Sutner Peter Swinnerton-Dyer Balázs
Szegedy Stefan Szeider Gábor J. Székely Ágnes
Szendrei Lajos Szil****i
Wanda Szmielew Tamás Szőnyi...
- 1006/jagm.2001.1195.. Fellows,
Michael R.; Rosamond,
Frances A.; Rotics, Udi;
Szeider,
Stefan (2009). "Clique-width is NP-complete". SIAM
Journal on Discrete...
-
decision diagrams (PSDD). Darwiche, Adnan; Marquis, Pierre; Suciu, Dan;
Szeider,
Stefan (2018).
Recent trends in
knowledge compilation (Report). Schloss...
- Michał (2013), "Computing tree-depth
faster than 2n", in Gutin, Gregory;
Szeider,
Stefan (eds.),
Parameterized and
Exact Com****tion: 8th International...
