Kalender
Ti 9 april

9
april
tisdag, 12:00
Föreläsningar och seminarier

On the Complexity of Finding Width-k Resolution Refutations

Plats: Room 1537, Lindstedtsvägen 3, 5th floor

2013-04-09T12:00 2013-04-09T12:00 On the Complexity of Finding Width-k Resolution Refutations (Föreläsningar och seminarier) On the Complexity of Finding Width-k Resolution Refutations (Föreläsningar och seminarier)
Mån Tis Ons Tor Fre Lör Sön
v14 1 2 3 4 5 6 7
v15 8 9 10 11 12 13 14
v16 15 16 17 18 19 20 21
v17 22 23 24 25 26 27 28
v18 29 30