Seminarium, Teoretisk datalogi
Må 11 september
-
Seminarium, Teoretisk datalogi
måndag 2017-09-11, 13.15
Medverkande: Romain Wallon (Université d'Artois)
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-09-11T13:15:00.000+02:00 2017-09-11T13:15:00.000+02:00 Romain Wallon: Pseudo-Boolean Constraints: Reasoning and Compilation (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Romain Wallon: Pseudo-Boolean Constraints: Reasoning and Compilation (Seminarium, Teoretisk datalogi)