Completed Research Projects

Optimization Challenges in the Future Federated Internet
Parameterized Compilation
Funding Organisation: The Austrian Science Funds, FWF
SLIM: SAT Based Local Improvement
Funding organization: Austrian Science Fund (FWF)
SLIM: SAT Based Local Improvement
The Parameterized Complexity of Reasoning Problems
Reasoning, to derive conclusions from facts, is a fundamental task in Artificial Intelligence that arises in a wide range of…
Variable Dependencies of Quantified Boolean Formulas
Funding Organisation: The Austrian Science Fund, FWF