Auswahl von SAT-Instanzen zur Evaluation von Solvern: Unterschied zwischen den Versionen
(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…“) |
(kein Unterschied)
|
Version vom 12. Juli 2021, 12:42 Uhr
| Vortragende(r) | Youheng Lü | |
|---|---|---|
| Vortragstyp | Bachelorarbeit | |
| Betreuer(in) | Jakob Bach | |
| Termin | Fr 23. Juli 2021 | |
| Vortragsmodus | ||
| Kurzfassung | <To do> | |