Seminar, Theoretical computer science

No calendar events were found within the current period.

Upcoming calendar events:

• Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications

  20 Aug

  Seminar, Theoretical computer science

  Monday 2018-08-20, 12:00

  Participating: Shiteng Chen, Tsinghua University

  Location: Room 4523, Lindstedtsvägen 5, KTH

  2018-08-20T12:00:00.000+02:00 2018-08-20T12:00:00.000+02:00 Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications (Seminar, Theoretical computer science)

• Jan Elffers: Towards faster pseudo-Boolean SAT solving

  5 Nov

  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)