Seminarium, Teoretisk datalogi
Må 7 november - Sö 13 november
-
Seminarium, Teoretisk datalogi
måndag 2016-11-07, 07.00
Medverkande: Jesús Giráldez Crú, Theory Group, KTH
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-11-07T07:00:00.000+01:00 2016-11-07T07:00:00.000+01:00 Jesús Giráldez Crú: Graph-based pseudo-industrial random SAT instance generators (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Jesús Giráldez Crú: Graph-based pseudo-industrial random SAT instance generators (Seminarium, Teoretisk datalogi)