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.
MSc thesis CS_Aalto

15:15 – 16:00

Joonas Lipping
Topic / Aihe: "Dense implicant cubes in Boolean satisfiability problems"
Supervisor / Valvoja: Adjunct Prof. Tomi Janhunen

  • Published:
  • Updated:
Share
URL copied!