Sciweavers

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