Tietotekniikan laitoksen diplomityöesitelmä
Joonas Lipping will present his MSc thesis on Monday 11 November at 15:15-16:00 in room B337, CS building.
Milloin
–
Missä
room B337
Tapahtuman kieli
English
15:15 – 16:00
Joonas Lipping
Topic / Aihe: "Dense implicant cubes in Boolean satisfiability problems"
Supervisor / Valvoja: Adjunct Prof. Tomi Janhunen
- Julkaistu:
- Päivitetty: