Calendar
Mon 20 November
-
Seminar, Theoretical computer science
Monday 2017-11-20, 12:00
Participating: Jakob Nordström, TCS Group, KTH
Location: Room 4523, Lindstedtsvägen 5, KTH CSC 
2017-11-20T12:00:00.000+01:00 2017-11-20T12:00:00.000+01:00 Jakob Nordström: Understanding conflict-driven SAT solving through the lens of proof complexity (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Jakob Nordström: Understanding conflict-driven SAT solving through the lens of proof complexity (Seminar, Theoretical computer science)