Seminar, Theoretical computer science
Mon 17 September
No calendar events were found within the current period.
Upcoming calendar events:
-
Seminar, Theoretical computer science
Monday 2018-11-05, 12:00
Participating: Jan Elffers, TCS Group, KTH)
Location: Room 4423, Lindstedtsvägen 5, KTH
2018-11-05T12:00:00.000+01:00 2018-11-05T12:00:00.000+01:00 Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminar, Theoretical computer science) Room 4423, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2019-03-11, 12:00
Participating: Kilian Risse
Location: Room 4523, Lindstedtsvägen 5 - floor 5
2019-03-11T12:00:00.000+01:00 2019-03-11T12:00:00.000+01:00 Kilian Risse: Some new applications of Razborov's pseudo-width method (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5 - floor 5 (KTH, Stockholm, Sweden)Kilian Risse: Some new applications of Razborov's pseudo-width method (Seminar, Theoretical computer science)