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…“) |
Keine Bearbeitungszusammenfassung |
||
| Zeile 5: | Zeile 5: | ||
|betreuer=Jakob Bach | |betreuer=Jakob Bach | ||
|termin=Institutsseminar/2022-08-19 | |termin=Institutsseminar/2022-08-19 | ||
|vortragsmodus= | |vortragsmodus=in Präsenz | ||
|kurzfassung=Kurzfassung | |kurzfassung=Kurzfassung | ||
}} | }} | ||
Version vom 6. Juli 2022, 07:31 Uhr
| Vortragende(r) | Elizaveta Danilova | |
|---|---|---|
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Jakob Bach | |
| Termin | Fr 19. August 2022 | |
| Vortragsmodus | in Präsenz | |
| Kurzfassung | Kurzfassung | |