Learning to Solve Quantified Boolean Formulas

01.05.2020 - 30.09.2024
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National)

Forschungsschwerpunkte

  • Information and Communication Technology