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
Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-institutsseminar/index.php?title=Wichtigkeit_von_Merkmalen_für_die_Klassifikation_von_SAT-Instanzen_(Proposal)&oldid=2112“