Diese Seite auf DE
Block
Practical SAT Solving (extended) [T-INFO-111254]
Type
Oral examinationCredits
6Recurrence
IrregularVersion
1Responsible
Organisation
- KIT-Fakultät für Informatik
Part of
Events
Course Number | Name | SWS | Type |
---|
Exams
Course Number | Name | Appointments |
---|---|---|
SS21 7500321 | Practical SAT Solving (extended) | |
SS21 7500321 | Practical SAT Solving (extended) |