Algorithms and Complexity Group
  • People
  • Research
  • Courses
  • Talks
  • Jobs
  • Contact

Research

The Algorithms and Complexity group is concerned with the development and analysis of efficient algorithms for hard computational problems that arise in practical applications, as well as the establishment of theoretical limits of algorithmic approaches.

In particular, the group considers problems arising in the areas of Combinatorial Optimisation, Artificial Intelligence, Automated Reasoning, Planning and Scheduling, Network Design, Cutting and Packing, Network Visualization, and Cartography.

Among the methods the group's research builds upon are mathematical programming techniques, satisfiability solving techniques, metaheuristics, graph algorithms, computational geometry, fixed-parameter algorithms, constraint-based methods, and machine learning.

The group contributes to the research area Logic and Computation which is among the four focus areas of the Faculty of Informatics.

Publications

Publications of the Algorithms and Complexity group can be found here.

Current Research Projects

  • FWF Cluster of Excellence: Bilateral Artificial Intelligence (FWF COE12)
  • Parameterized Graph Drawing (WWTF ICT22-029)
  • ASK-SAT: Alternating Symmetry-Breaking Combinatorial Search with SAT (FWF P 36688)
  • STRIDES: Structure Identification with SAT (FWF P 36420)
  • Learning to Solve Dynamic Vehicle Routing Problems (Collaboration with Honda Research Institute)
  • QBF Proofs and Certificates (FWF ESP 197 ESPRIT-Programm)
  • Overcoming Intractability in the Knowledge Compilation Map (FWF ESPRIT project)
  • MSCA COFUND Doctoral Programme LogiCS@TUWien
  • Cooperative Personnel Scheduling (Collaboration with Honda Research Institute)
  • Parameterized Analysis in Artificial Intelligence (FWF Y 1329 START-Programm)
  • Learning to Solve Quantified Boolean Formulas (WWTF, ICT19-060)
  • Engineering Linear Ordering Algorithms for Optimizing Data Visualizations (WWTF, ICT19-035)
  • REVEAL-AI: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI (WWTF, ICT19-065)
  • Cooperative Optimization Approaches for Distributing Service Points (Collaboration with Honda Research Institute)
  • Doctoral College Vienna Graduate School on Computational Optimization (FWF W1260)
  • Doctoral College Logical Methods in Computer Science (FWF W1255)

Completed Research Projects

  • SLIM: SAT Based Local Improvement (FWF P 32441)
  • Human-centered Algorithm Engineering: Graph and Map Visualization (FWF P31119)
  • New Frontiers for Parameterized Complexity (FWF P31336)
  • Variable Dependencies of Quantified Boolean Formulas (FWF P27721)
  • Parameterized Compilation (FWF P26200)
  • Large-Scale Radio Therapy Scheduling (Research Collaboration with MedAustron)
  • Cycles on Graphs and Properties of Graphs with Special Cycle Structure (FWF P27615)
  • Multi-Criteria Optimization of FTTx Networks (FFG I892-N23)
  • Cutting and Packing Problems (cooperation with Eurosoft/Lodestar GmbH)
  • Balancing Bicycle Sharing Systems (FFG 831740)
  • Optimization Challenges in the Future Federated Internet (WWTF ICT-10-024)
  • Exploiting New Types of Structure for Fixed Parameter Tractability (FWF P26696)
  • The Parameterized Complexity of Reasoning Problems (ERC 239962)
  • Complete Solution Archives for Evolutionary Combinatorial Optimization (FWF P24660)
  • Matheuristics: Hybrid Optimization Algorithms for Transportation Problems with Mutltiple Visits (FWF P20342)

Resources

Benchmark suites for various problems: Problem Instances

Software

  • Qute, a dependency learning QBF solver.
  • BranchLIS, a tool for computing branch decompositions of graphs and hypergraphs
  • fraSMT, a tool for computing the fractional hyper tree width of hypergraphs

News

  • Best Paper Award at SOFSEM 2025

    Best Paper Award at SOFSEM 2025

    2025-01-23
    Thomas Depian, Simon D. Fink, Alexander Firbas, Robert Ganian, and Martin Nöllenburg received the Best Paper Award for their paper …Read More »
  • Markus Wallinger receives Award of Excellence for his PhD Thesis

    Markus Wallinger receives Award of Excellence for his PhD Thesis

    2024-12-05
    Our former group member Markus Wallinger won the Award of Excellence by the Federal Ministry for Education, Science and Research. …Read More »
  • Thomas Depian receives State Prize for his Master’s Thesis

    Thomas Depian receives State Prize for his Master’s Thesis

    2024-11-21
    Our group member Thomas Depian won the Appreciation Award given by the Federal Ministry for Education, Science and Research. This …Read More »
  • Best Paper Award at GECCO 2024 for M. Bresich, G. Raidl, and S. Limmer

    Best Paper Award at GECCO 2024 for M. Bresich, G. Raidl, and S. Limmer

    2024-07-24
    Maria Bresich, Günther Raidl, and Steffen Limmer received the best paper award at the 2024 Genetic and Evolutionary Computation Conference …Read More »
  • Welcome to our Feodor Lynen Fellow Dr. Frank Sommer

    Welcome to our Feodor Lynen Fellow Dr. Frank Sommer

    2024-06-14
    On June 1, 2024, Dr. Frank Sommer has joined the Algorithms and Complexity group with a prestigious Feodor Lynen postdoc …Read More »

News archive

All news for 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 and 2024.
TU Wien Informatics
Offenlegung (§25 MedienG) Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. – Disclaimer – Datenschutzerklärung
Log in requires cookies.