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

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