DE

Modul

Practical SAT Solving (extended) [M-INFO-105622]

Credits
6
Recurrence
Unregelmäßig
Duration
1 Semester
Language
German/English
Level
4
Version
1

Responsible

Organisation

  • KIT-Fakultät für Informatik

Part of

Bricks

Identifier Name LP
T-INFO-111254 Practical SAT Solving (extended) 6