Wissenschaftszweige
- 102 Informatik
- 101 Mathematik
- 102011 Formale Sprachen
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Automated Testing and Debugging of SAT and QBF Solvers
- Florian Lonsing (Vortragende*r)
- Robert Brummayer (Vortragende*r)
- Armin Biere (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt