47 citations · 92 across the 12 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 2 cited
Sub-computable Boundedness Randomness
Sam Buss, Douglas Cenzer, Jeffrey B. Remmel
This paper defines a new notion of bounded computable randomness for certain classes of sub-computable functions which lack a universal machine. In particular, we define such versi…
cs.LO2014★ 40 cited
Small Stone in Pool
Samuel R. Buss, Leszek Aleksander Kolodziejczyk
The Stone tautologies are known to have polynomial size resolution refutations and require exponential size regular refutations. We prove that the Stone tautologies also have polyn…