We give a general reduction of lengths-of-proofs lower bounds for constant depth Frege systems in DeMorgan language augmented by a connective counting modulo a prime p (the so-called AC0[p] Frege ...
This is a preview. Log in through your library . Publisher Information The purpose of the Institute of Mathematical Statistics (IMS) is to foster the development and dissemination of the theory and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback