Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
From QBF to DQBF: Theory together with Practice
15.11.2021 - 30.11.2022
Research funding project
People
Project leader
Tomas Peitl
(E192-01)
Institute
E192-01 - Research Unit of Algorithms and Complexity
Grant funds
FWF - Österr. Wissenschaftsfonds (National)
Schrödinger Fellowship
Austrian Science Fund (FWF)
Research focus
Logic and Computation: 100%
Publications
Publications