Sciweavers

112
Voted
STOC
2002
ACM
98views Algorithms» more  STOC 2002»
16 years 6 months ago
Hard examples for bounded depth frege
Eli Ben-Sasson