Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Learning to Solve Quantified Boolean Formulas
01.05.2020 - 30.09.2024
Forschungsförderungsprojekt
Personen
Projektleiter_in
Stefan Szeider
(E192-01)
Institut
E192-01 - Forschungsbereich Algorithms and Complexity
Förderungsmittel
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National)
Informations- und Kommunikationstechnologien
Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)
Forschungsschwerpunkte
Information and Communication Technology
Publikationen
Publikationsliste