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)


