Calendar
Mon 30 November
-
Seminar, Theoretical computer science
Thu 2015-11-26, 13:15 - Thu 2015-12-10, 14:15
Location: Seminar room 1537 on the 5th floor at Lindstedtsvägen 3
2015-11-26T13:15:00.965+01:00 2015-12-10T14:15:00.965+01:00 Miniseries of lectures on one of the crown jewels of Theoretical Computer Science: PCP Theorem and hardness of approximation (Seminar, Theoretical computer science) Seminar room 1537 on the 5th floor at Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Miniseries of lectures on one of the crown jewels of Theoretical Computer Science: PCP Theorem and hardness of approximation (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2015-11-30, 12:00
Participating: Armin Biere, Johannes Kepler University Linz
Location: Room 4523, Lindstedtsvägen 5
2015-11-30T12:00:00.567+01:00 2015-11-30T12:00:00.567+01:00 Armin Biere: Model checking, SAT and bit-vectors + Evaluating CDCL restart schemes (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Armin Biere: Model checking, SAT and bit-vectors + Evaluating CDCL restart schemes (Seminar, Theoretical computer science)