Project Acronym Projekt Kurzbezeichnung
Learning to Solve Quantified Boolean Formulas
Project Title (de) Projekttitel (de)
Learning to Solve Quantified Boolean Formulas
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in