Wichtigkeit von Merkmalen für die Klassifikation von SAT-Instanzen (Proposal): Unterschied zwischen den Versionen

Aus SDQ-Institutsseminar
(Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Elizaveta Danilova |email=uoujv@student.kit.edu |vortragstyp=Proposal |betreuer=Jakob Bach |termin=Institutsseminar/2022-04-29 |vortrag…“)
 
(kein Unterschied)

Version vom 11. April 2022, 17:33 Uhr

Vortragende(r) Elizaveta Danilova
Vortragstyp Proposal
Betreuer(in) Jakob Bach
Termin Fr 29. April 2022
Vortragsmodus in Präsenz
Kurzfassung TODO