On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy: Positive and Negative Results.

Jin-yi Cai, Osamu Watanabe

Browse the full COCOON paper archive.