COCO
1999
Springer
13 years 9 months ago
1999
Springer
COCO
1999
Springer
13 years 9 months ago
1999
Springer
COCO
1999
Springer
13 years 9 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...
COCO
1999
Springer
13 years 9 months ago
1999
Springer
Recent work by Bernasconi, Damm and Shparlinski showed that the set of square-free numbers is not in AC0 , and raised as an open question whether similar (or stronger) lower bound...