Calendar
Tue 09 April
-
Seminar, other
Tuesday 2013-04-09, 12:10 - 13:00
Location: Room 1537, Lindstedtsvägen 3, 5th floor, KTH CSC
2013-04-09T12:10:00.606+02:00 2013-04-09T13:00:00.606+02:00 Christoph Berkholz: On the Complexity of Finding Width-k Resolution Refutations (Seminar, other) Room 1537, Lindstedtsvägen 3, 5th floor, KTH CSC (KTH, Stockholm, Sweden)Christoph Berkholz: On the Complexity of Finding Width-k Resolution Refutations (Seminar, other)