Diese Seite auf DE
Modul
Practical SAT Solving (extended) [M-INFO-105622]
Credits
6Recurrence
UnregelmäßigDuration
1 SemesterLanguage
German/EnglishLevel
4Version
1Responsible
Organisation
- KIT-Fakultät für Informatik
Part of
Bricks
Identifier | Name | LP |
---|---|---|
T-INFO-111254 | Practical SAT Solving (extended) | 6 |