Completed Research Projects

Optimization Challenges in the Future Federated Internet
WWTF Project ICT10-024 on innovative algorithmic approaches for complex optimization problems.
Parameterized Compilation
FWF Project P26200 on parameterized compilation and knowledge representation.
Parameterized Compilation
SLIM: SAT Based Local Improvement
FWF Project P32441 on SAT-based local improvement and combinatorial optimization.
SLIM: SAT Based Local Improvement
The Parameterized Complexity of Reasoning Problems
ERC Starting Grant 239962 on the parameterized complexity of reasoning problems in AI.
The Parameterized Complexity of Reasoning Problems
Variable Dependencies of Quantified Boolean Formulas
FWF Project P27721 exploring new ways to leverage independence of variables for QBF.