Promotionsverteidigung
Titel: "The Complexity of Quantified Conflict Driven Clause Learning"
Frontalansicht der Hanfried Statue
Diese Veranstaltung ist beendet.
Veranstaltungseckdaten
Diese Veranstaltung im ICS-Format exportieren
- Beginn
- Ende
- Veranstaltungsarten
- Veranstaltung der Fakultät
- Ort
-
Ernst-Abbe-Platz 2, SR 3325
07743 Jena
Google Maps – LageplanExterner Link - Es referiert
- Benjamin Böhm
- Organisiert von
-
Fakultät für Mathematik und Informatik
- Veranstaltungssprachen
- Deutsch
- Englisch
- Barrierefreier Zugang
- ja
- Öffentlich
- ja