Sciweavers

53
Voted
STOC
2002
ACM
98views Algorithms» more  STOC 2002»
15 years 10 months ago
Hard examples for bounded depth frege
Eli Ben-Sasson