Login / Signup

Parameterized Bounded-Depth Frege Is not Optimal.

Olaf BeyersdorffNicola GalesiMassimo LauriaAlexander A. Razborov
Published in: ACM Trans. Comput. Theory (2012)
Keyphrases