Kalender
Må 18 april
-
Seminarium, Teoretisk datalogi
måndag 2016-04-18, 12.00
Medverkande: Laurent Simon, Université de Bordeaux)
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-04-18T12:00:00.060+02:00 2016-04-18T12:00:00.060+02:00 Laurent Simon: Experimenting with CDCL SAT solvers and glue clauses (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Laurent Simon: Experimenting with CDCL SAT solvers and glue clauses (Seminarium, Teoretisk datalogi)