Learning to Solve Quantified Boolean Formulas

01.05.2020 - 30.04.2023
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) Fördergeber Typ Bundesland Wien

Forschungsschwerpunkte

  • Information and Communication Technology