26. Januar 2021 29.01.2021 13:30 Uhr - Christian Valenti "Pebbling und Kartenfärbung" Universität Ulm 26. Januar 2021 Universität Ulm Vorheriger Beitrag 06.03.2020 14:15 - Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space Florian Wörz gives a talk about his paper accepted for STACS 2020 in Montpellier. veröffentlicht am: 04. März 2020 Nächster Beitrag 09.04.2021 13:30 Uhr Tom Krüger "Über die Härte logisch äquivalenter SAT-Formeln" veröffentlicht am: 13. April 2021
06.03.2020 14:15 - Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space Florian Wörz gives a talk about his paper accepted for STACS 2020 in Montpellier. veröffentlicht am: 04. März 2020
09.04.2021 13:30 Uhr Tom Krüger "Über die Härte logisch äquivalenter SAT-Formeln" veröffentlicht am: 13. April 2021