Diese Seite auf DE
Block
Practical SAT Solving [T-INFO-105798]
Type
Oral examinationCredits
5Recurrence
IrregularVersion
3Responsible
Organisation
- KIT-Fakultät für Informatik
Part of
Events
Course Number | Name | SWS | Type |
---|---|---|---|
SS22 2400059 | Practical SAT Solving | 3 | lecture/exercise (VÜ) |
SS23 2400115 | Practical SAT Solving | 3 | lecture/exercise (VÜ) |
SS20 2400105 | Practical SAT Solving | 3 | lecture/exercise (VÜ) |
SS21 2400005 | Practical SAT Solving | 3 | lecture/exercise (VÜ) |
SS24 2400115 | Practical SAT Solving | 3 | lecture/exercise (VÜ) |
Exams
Course Number | Name | Appointments |
---|---|---|
SS21 7500039 | Practical SAT Solving | |
SS21 7500039 | Practical SAT Solving | |
SS21 7500039 | Practical SAT Solving | |
SS21 7500039 | Practical SAT Solving |
Competence Certificate
The assessment is carried out as an oral examination (§ 4 Abs. 2 Nr. 2 SPO) usually lasting 30 minutes.
Prerequisites
none.
Recommendation
Relevant literature will be announced in the lecture.