Calendar
Mon 18 April
-
Seminar, Theoretical computer science
Monday 2016-04-18, 12:00
Participating: Laurent Simon, Université de Bordeaux)
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Laurent Simon: Experimenting with CDCL SAT solvers and glue clauses (Seminar, Theoretical computer science)