Wednesday, July 31 2019
11:30 - 13:00

Room 327

Credit Seminar

Abhimanyu Choudhury


The following paper will be presented:

Size, Cost and Capacity: A semantic technique for Hard Random QBFs
Olaf Beyersdorff, Joshua Blinkhorn, Luke Hinde
Logical Methods in Computer Science, Volume 15, Issue 1 (February 13, 2019) lmcs:5184

Download as iCalendar