Quantifizierte Boolesche Formeln: Beweiskomplexität und Solving

• Antragsteller: Professor Dr. Olaf Beyersdorff
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung seit 2021
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 462332910

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen
• Internationaler Bezug: Indien, Österreich, Spanien
• Kooperationspartnerinnen / Kooperationspartner: Professor Ilario Bonacina; Professorin Meena Mahajan; Dr. Tomas Peitl