Name Card

Full name Familienname, Vorname

Szeider, Stefan

Main Affiliation Organisationszuordnung

E192-01 - Forschungsbereich Algorithms and Complexity

Projects Projekte

Results 1-8 of 8 (Search time: 0.0 seconds).

Project	Principle Investigator	Coordinating Department
Exploiting New Types of Structure for Fixed Parameter Tractability	Szeider, Stefan	E192-01 - Forschungsbereich Algorithms and Complexity
Parameterized Compilation	Szeider, Stefan	E192-01 - Forschungsbereich Algorithms and Complexity
Parameterized Complexity of Local Search	Szeider, Stefan	E184 - Institut für Informationssysteme
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI	Szeider, Stefan	E192-01 - Forschungsbereich Algorithms and Complexity
SAT-Based Local Improvement Methods	Szeider, Stefan	E192-01 - Forschungsbereich Algorithms and Complexity
Strukturerkennung mit SAT	Szeider, Stefan	E192-01 - Forschungsbereich Algorithms and Complexity
The Parameterized Complexity of Reasoning Problems	Szeider, Stefan	E184 - Institut für Informationssysteme
Variable Dependencies of Quantified Boolean Formulas	Szeider, Stefan	E192-01 - Forschungsbereich Algorithms and Complexity