Wichtigkeit von Merkmalen für die Klassifikation von SAT-Instanzen (Abschlusspräsentation): Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Elizaveta Danilova |email=uoujv@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Jakob Bach |termin=Institutsseminar/2022-08-19 |v…“) |
(kein Unterschied)
|
Version vom 14. Juni 2022, 16:39 Uhr
Vortragende(r) | Elizaveta Danilova | |
---|---|---|
Vortragstyp | Bachelorarbeit | |
Betreuer(in) | Jakob Bach | |
Termin | Fr 19. August 2022 | |
Vortragsmodus | online | |
Kurzfassung | Kurzfassung |