Seminarium, Teoretisk datalogi
To 9 augusti - Må 31 december
-
Seminarium, Teoretisk datalogi
måndag 2018-08-20, 12.00
Medverkande: Shiteng Chen, Tsinghua University
Plats: 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 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2018-11-05, 12.00
Medverkande: Jan Elffers, TCS Group, KTH)
Plats: 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 (Seminarium, Teoretisk datalogi) Room 4423, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminarium, Teoretisk datalogi)