On proving circuit lower bounds against the polynomial-time hierarchy (0)

by Jin-Yi Cai, Osamu Watanabe
Venue:CW09] [DGS87] [DI06] [DP09] [DvM10] Arkadev Chattopadhyay and Avi