Satisfiability
Undergraduate / Graduate Seminar, Ruhr University Bochum, 2023
- Lecturer: Dr. Vortmeier
- Language: English / German
- Credits: 3 CP / 6 CP
- Programs: B.Sc./M.Sc. Applied Computer Science, B.Sc./M.Sc. Computer Science, B.Sc./M.Sc. IT-Security
- Examination: 100 % (Seminar Talk + Seminar Thesis)
My topic: Conditional lower bounds based on SAT