Research

New Frontiers for Parameterized Complexity
Funding Organisation: The Austrian Science Fund, FWF
Optimization Challenges in the Future Federated Internet
Overcoming Intractability in the Knowledge Compilation Map
Overcoming Intractability in the Knowledge Compilation Map
Parameterized Analysis in Artificial Intelligence
Funding organization: The Austrian Science Funds, FWF
Parameterized Analysis in Artificial Intelligence
Parameterized Compilation
Funding Organisation: The Austrian Science Funds, FWF
QBF Proofs and Certificates
Funding organization: Austrian Science Fund (FWF)
QBF Proofs and Certificates
REVEAL-AI: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
Funding organization: Vienna Science and Technology Fund (WWTF)
REVEAL-AI: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
SLIM: SAT Based Local Improvement
Funding organization: Austrian Science Fund (FWF)
SLIM: SAT Based Local Improvement
STRIDES: Structure Identification with SAT
Project Acronym: STRIDES (Structure Identification with SAT)
STRIDES: Structure Identification with SAT
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…