Wichtigkeit von Merkmalen für die Klassifikation von SAT-Instanzen (Abschlusspräsentation)

Aus SDQ-Institutsseminar
Version vom 14. Juni 2022, 16:39 Uhr von Jakob Bach (Diskussion | Beiträge) (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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Vortragende(r) Elizaveta Danilova
Vortragstyp Bachelorarbeit
Betreuer(in) Jakob Bach
Termin Fr 19. August 2022
Vortragsmodus online
Kurzfassung Kurzfassung
Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-institutsseminar/index.php?title=Wichtigkeit_von_Merkmalen_für_die_Klassifikation_von_SAT-Instanzen_(Abschlusspräsentation)&oldid=2235“