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