Sciweavers

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