Wichtigkeit von Merkmalen für die Klassifikation von SAT-Instanzen (Proposal)

Aus IPD-Institutsseminar
Zur Navigation springen Zur Suche springen
Vortragende(r) Elizaveta Danilova
Vortragstyp Proposal
Betreuer(in) Jakob Bach
Termin Fr 29. April 2022
Vortragsmodus in Präsenz
Kurzfassung TODO