-
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...
-
decision diagrams (PSDD). Darwiche, Adnan; Marquis, Pierre; Suciu, Dan;
Szeider,
Stefan (2018).
Recent trends in
knowledge compilation (Report). Schloss...
-
Filippo Bonchi Simon J.
Puglisi LIPIcs 202 MFCS 2022 Vienna,
Austria Stefan Szeider Robert Ganian Alexandra Silva LIPIcs 241 MFCS 2023 Bordeaux,
France Sylvain...
- 1006/jagm.2001.1195.. Fellows,
Michael R.; Rosamond,
Frances A.; Rotics, Udi;
Szeider,
Stefan (2009). "Clique-width is NP-complete". SIAM
Journal on Discrete...
- 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...
-
Anwendung in der Informatik (1981)
Doctoral advisor Curt
Christian Doctoral students Stefan Szeider Helmut Veith Website cs.ox.ac.uk/people/georg.gottlob...
- Lawrence, John; Bex, Floris; Reed, Chris; Snaith, Mark (2012). Verheij, Bart;
Szeider, Stefan; Woltran,
Stefan (eds.). AIFdb:
infrastructure for the argument...
-
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...
