Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Overcoming Intractability in the Knowledge Compilation Map
07.11.2022 - 06.11.2025
Forschungsförderungsprojekt
Personen
Projektleiter_in
Stefan Szeider
(E192-01)
Institut
E192-01 - Research Unit of Algorithms and Complexity
Grant funds
FWF - Österr. Wissenschaftsfonds (National)
ESPRIT
Austrian Science Fund (FWF)
Forschungsschwerpunkte
Logic and Computation: 100%
Publikationen
Publikationsliste