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

Aus IPD-Institutsseminar
Zur Navigation springen Zur Suche springen
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