Auswahl von SAT-Instanzen zur Evaluation von Solvern

Aus SDQ-Institutsseminar
Version vom 12. Juli 2021, 12:42 Uhr von Jakob Bach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Youheng Lü |email=youheng.lue@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Jakob Bach |termin=Institutsseminar/2021-07-23 Zus…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Vortragende(r) Youheng Lü
Vortragstyp Bachelorarbeit
Betreuer(in) Jakob Bach
Termin [[Institutsseminar/2021-07-23 Zusatztermin|
 VeranstaltungsdatumVeranstaltungsraum
Institutsseminar/2021-07-23 ZusatzterminFr 23. Juli 2021, 11:07
]]
Vortragssprache
Vortragsmodus
Kurzfassung <To do>
Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-institutsseminar/index.php?title=Auswahl_von_SAT-Instanzen_zur_Evaluation_von_Solvern&oldid=1734“