DE

Block

Practical SAT Solving [T-INFO-105798]

Type
Oral examination
Credits
5
Recurrence
Irregular
Version
3

Responsible

Organisation

  • KIT-Fakultät für Informatik

Part of

Events

Course Number Name SWS Type
SS22 2400059Practical SAT Solving 3 lecture/exercise (VÜ)
SS23 2400115Practical SAT Solving 3 lecture/exercise (VÜ)
SS20 2400105Practical SAT Solving 3 lecture/exercise (VÜ)
SS21 2400005Practical SAT Solving 3 lecture/exercise (VÜ)
SS24 2400115Practical 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.