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

by Jin-Yi Cai, Osamu Watanabe
Venue:SIAM Journal on Computing