Calendar

Gustav Sennton: Towards an understanding of the power of CDCL SAT solvers

15 May

Seminar, Theoretical computer science

Thursday 2014-05-15, 10:00

Participating: Gustav Sennton, KTH

Location: Room 1537, Lindstedsvägen 3, KTH CSC

2014-05-15T10:00:00.565+02:00 2014-05-15T10:00:00.565+02:00 Gustav Sennton: Towards an understanding of the power of CDCL SAT solvers (Seminar, Theoretical computer science) Room 1537, Lindstedsvägen 3, KTH CSC (KTH, Stockholm, Sweden)Gustav Sennton: Towards an understanding of the power of CDCL SAT solvers (Seminar, Theoretical computer science)

Richard Tsai: Introduction to Level Set Method and related topics (part 2)

15 May

Seminar, Numerical analysis

Thursday 2014-05-15, 14:15

Participating: Richard Tsai, KTH

Location: KTH mathematics, Lindstedtsvägen 25, floor 7, Room 3721

2014-05-15T14:15:00.867+02:00 2014-05-15T14:15:00.867+02:00 Richard Tsai: Introduction to Level Set Method and related topics (part 2) (Seminar, Numerical analysis) KTH mathematics, Lindstedtsvägen 25, floor 7, Room 3721 (KTH, Stockholm, Sweden)Richard Tsai: Introduction to Level Set Method and related topics (part 2) (Seminar, Numerical analysis)