Room 327
Credit Seminar
Abhimanyu Choudhury
IMSc
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
lmcs.episciences.org/5184
Done