Forschungsbereich Algorithms and Complexity

View Statistics Email Alert RSS Feed

Card

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

OrgUnit funded Projects


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

ProjectPrinciple InvestigatorCoordinating Department
Alterierende Suche in der Kombinatorik mit SAT Szeider, Stefan  E192-01 - Forschungsbereich Algorithms and Complexity 
Cooperative Personnel Scheduling Raidl, Günther  E192-01 - Forschungsbereich Algorithms and Complexity 
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 
Learning to Solve Dynamic Vehicle Routing Problems Raidl, Günther  E192-01 - Forschungsbereich Algorithms and Complexity 
Learning to Solve Quantified Boolean Formulas Szeider, Stefan  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 
Parameterized Graph Drawing Ganian, Robert  E192-01 - Forschungsbereich Algorithms and Complexity 
QBF-Beweise und Zertifikate Chew, Leroy Nicholas  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 
Simultaneous Multiprojection Graph Visualization Di Bartolomeo, Sara  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