Card

Organization Name (de) Name der Organisation (de)
E192-01 - Forschungsbereich Algorithms and Complexity
 
Parent OrgUnit Übergeordnete Organisation
 

OrgUnit funded Projects


Results 1-16 of 16 (Search time: 0.001 seconds).

ProjectPrinciple InvestigatorCoordinating Department
Doktoratskolleg "Vienna Graduate School on Computational Optimization" Raidl, Günther  E192-01 - Forschungsbereich Algorithms and Complexity 
Engineering Linear Ordering Algorithms for Optimizing Data Visualizations Nöllenburg, Martin  E192-01 - Forschungsbereich Algorithms and Complexity 
Exploiting New Types of Structure for Fixed Parameter Tractability Szeider, Stefan  E192-01 - Forschungsbereich Algorithms and Complexity 
Human-Centered Algorithm Engineering Nöllenburg, Martin  E192-01 - Forschungsbereich Algorithms and Complexity 
New Frontiers for Parameterized Complexity Ganian, Robert  E192-01 - Forschungsbereich Algorithms and Complexity 
Parameterisierte Analyse in der Künstlichen Intelligenz Ganian, Robert  E192-01 - Forschungsbereich Algorithms and Complexity 
Parameterized Compilation Szeider, Stefan  E192-01 - Forschungsbereich Algorithms and Complexity 
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 
Solution Archives in Evolutionary Combinatorial Optimization Raidl, Günther  E192-01 - Forschungsbereich Algorithms and Complexity 
Structural and Algorithmic Aspects of Preference-based Problems in Social Choice CHEN, Jiehua  E192-01 - Forschungsbereich Algorithms and Complexity 
Structural Approaches in Stability Under Diversity Constraints Ganian, Robert  E192-01 - Forschungsbereich Algorithms and Complexity 
Strukturerkennung mit SAT Szeider, Stefan  E192-01 - Forschungsbereich Algorithms and Complexity 
Überwindung der Nichthandbarkeit im Knowledge Compilation Map De Colnet, Alexis  E192-01 - Forschungsbereich Algorithms and Complexity 
Variable Dependencies of Quantified Boolean Formulas Szeider, Stefan  E192-01 - Forschungsbereich Algorithms and Complexity 
Von QBF zu DQBF: Theorie zusammen mit Praxis Peitl, Tomas  E192-01 - Forschungsbereich Algorithms and Complexity