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

Aus SDQ-Institutsseminar
Keine Bearbeitungszusammenfassung
Zeile 4: Zeile 4:
|vortragstyp=Proposal
|vortragstyp=Proposal
|betreuer=Jakob Bach
|betreuer=Jakob Bach
|termin=Institutsseminar/2022-04-29
|termin=Institutsseminar/2022-04-29 (2. Raum)
|vortragsmodus=in Präsenz
|vortragsmodus=in Präsenz
|kurzfassung=TODO
|kurzfassung=TODO
}}
}}

Version vom 19. April 2022, 13:29 Uhr

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