Szeider, Stefan
Prefix title Titel (vorangestellt)
Univ.Prof. Mag.rer.nat. Dr.rer.nat.
Full name Familienname, Vorname
Szeider, Stefan
Main Affiliation Organisationszuordnung
Results 1-20 of 179 (Search time: 0.005 seconds).
Results 1-19 of 19 (Search time: 0.011 seconds).
Results 1-8 of 8 (Search time: 0.001 seconds).
Title | P-Investigator |
---|---|
Doctorate's College | Szeider, Stefan |
Exploiting New Types of Structure for Fixed Parameter Tractability | Szeider, Stefan |
Parameterized Compilation | Szeider, Stefan |
Parameterized Complexity of Local Search | Szeider, Stefan |
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI | Szeider, Stefan |
SAT-Based Local Improvement Methods | Szeider, Stefan |
The Parameterized Complexity of Reasoning Problems | Szeider, Stefan |
Variable Dependencies of Quantified Boolean Formulas | Szeider, Stefan |