-
Stefan Szeider is an
Austrian computer scientist who
works on the
areas of algorithms, com****tional complexity,
theoretical computer science, and more...
-
Retrieved 2025-03-11. 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...
-
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...
-
decision diagrams (PSDD). Darwiche, Adnan; Marquis, Pierre; Suciu, Dan;
Szeider,
Stefan (2018).
Recent trends in
knowledge compilation (Report). Schloss...
-
Anwendung in der Informatik (1981)
Doctoral advisor Curt
Christian Doctoral students Stefan Szeider Helmut Veith Website cs.ox.ac.uk/people/georg.gottlob...
- 1006/jagm.2001.1195.. Fellows,
Michael R.; Rosamond,
Frances A.; Rotics, Udi;
Szeider,
Stefan (2009). "Clique-width is NP-complete". SIAM
Journal on Discrete...
- Michał (2013), "Computing tree-depth
faster than 2n", in Gutin, Gregory;
Szeider,
Stefan (eds.),
Parameterized and
Exact Com****tion: 8th International...
- Lawrence, John; Bex, Floris; Reed, Chris; Snaith, Mark (2012). Verheij, Bart;
Szeider, Stefan; Woltran,
Stefan (eds.). AIFdb:
infrastructure for the argument...
- 101.5209. doi:10.1007/11814948_5. ISBN 978-3-540-37207-3. S2CID 2845982.
Szeider,
Stefan (December 2004). "Minimal
unsatisfiable formulas with
bounded clause-variable...
