Current Research Projects

FWF Cluster of Excellence: Bilateral Artificial Intelligence
Robert Ganian, Stefan Szeider
ASK-SAT: Alternating Symmetry-Breaking Combinatorial Search with SAT
Stefan Szeider, Markus Kirchweger, Tomas Peitl, Florentina Voboril
Cooperative Optimization Approaches for Distributing Service Points
Günther Raidl
Cooperative Personnel Scheduling
Günther Raidl, Johannes Varga
Doctoral College Logical Methods in Computer Science
Stefan Szeider
Doctoral College Vienna Graduate School on Computational Optimization
Günther Raidl
Engineering Linear Ordering Algorithms for Optimizing Data Visualizations
Martin Nöllenburg
Learning to Solve Dynamic Vehicle Routing Problems
Günther Raidl, Maria Bresich
Learning to Solve Quantified Boolean Formulas
Stefan Szeider
MSCA COFUND Doctoral Programme LogiCS@TUWien
Overcoming Intractability in the Knowledge Compilation Map
Parameterized Analysis in Artificial Intelligence
Robert Ganian, Phuc Hung Hoang, Simon Wietheger, Mathis Teva Rocton, Liana Khazaliya
QBF Proofs and Certificates
Stefan Szeider
REVEAL-AI: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
Stefan Szeider
STRIDES: Structure Identification with SAT
Stefan Szeider, Florentina Voboril
Parameterized Graph Drawing
Robert Ganian, Martin Nöllenburg, Simon Dominik Fink, Thomas Depian, Alexander Firbas

Completed Research Projects

Balancing Bicycle Sharing Systems
Günther Raidl
Complete Solution Archives for Evolutionary Combinatorial Optimization
Günther Raidl
Cutting and Packing Problems
Günther Raidl
Cycles on Graphs and Properties of Graphs with Special Cycle Structure
Exploiting New Types of Structure for Fixed Parameter Tractability
Robert Ganian, Stefan Szeider
Human-centered Algorithm Engineering: Graph and Map Visualization
Martin Nöllenburg
Large-Scale Radio Therapy Scheduling
Günther Raidl
Matheuristics: Hybrid Optimization Algorithms for Transportation Problems with Mutltiple Visits
Günther Raidl
Multi-Criteria Optimization of FTTx Networks
Günther Raidl
New Frontiers for Parameterized Complexity
Robert Ganian
Optimization Challenges in the Future Federated Internet
Günther Raidl
Parameterized Compilation
Stefan Szeider
SLIM: SAT Based Local Improvement
Stefan Szeider
The Parameterized Complexity of Reasoning Problems
Stefan Szeider
Variable Dependencies of Quantified Boolean Formulas
Stefan Szeider, Tomas Peitl

Software

fraSMT
BranchLIS
Qute: A Dependency Learning QBF Solver

Resources

Problem Instances