Department of Computer Science: MSc Thesis Presentation
Joonas Lipping will present his MSc thesis on Monday 11 November at 15:15-16:00 in room B337, CS building.
When
–
Where
room B337
Event language(s)
English
15:15 – 16:00
Joonas Lipping
Topic / Aihe: "Dense implicant cubes in Boolean satisfiability problems"
Supervisor / Valvoja: Adjunct Prof. Tomi Janhunen
- Published:
- Updated: