People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Current Research Projects
MSCA COFUND Doctoral Programme LogiCS@TUWien
Overcoming Intractability in the Knowledge Compilation Map
Parameterized Analysis in Artificial Intelligence
Funding organization: The Austrian Science Funds, FWF
Robert Ganian
,
Phuc Hung Hoang
,
Simon Wietheger
,
Mathis Teva Rocton
,
Liana Khazaliya
QBF Proofs and Certificates
Funding organization: Austrian Science Fund (FWF)
Stefan Szeider
REVEAL-AI: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
Funding organization: Vienna Science and Technology Fund (WWTF)
Stefan Szeider
STRIDES: Structure Identification with SAT
Project Acronym: STRIDES (Structure Identification with SAT)
Stefan Szeider
,
Florentina Voboril
«
Cite
×
