AML
2004
13 years 11 months ago
2004
We show that short bounded-depth Frege proofs of matrix identities, such as P Q = I QP = I (over the field of two elements), imply short bounded-depth Frege proofs of the pigeonho...
COCO
1999
Springer
14 years 3 months ago
1999
Springer
In this paper, we show how to extend the argument due to Bonet, Pitassi and Raz to show that bounded-depth Frege proofs do not have feasible interpolation, assuming that factoring...
FOCS
2002
IEEE
14 years 4 months ago
2002
IEEE
We prove a quasi-polynomial lower bound on the size of bounded-depth Frege proofs of the pigeonhole principle PHPm n where m ´1 · 1 polylog nµn. This lower bound qualitatively ...