DE

Block

Practical SAT Solving (extended) [T-INFO-111254]

Type
Oral examination
Credits
6
Recurrence
Irregular
Version
1

Responsible

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)