16 citations · 24 across the 5 of their papers we have counts for
1 paper · 1 filter
The bbchallenge Collaboration, Justin Blanchard, Konrad Deka +9
The Busy Beaver Challenge (or bbchallenge) aims at collaboratively solving the following conjecture: "S(5)=47,176,870" [Radó, 1962], [Marxen and Buntrock, 1990], [Aaronson,…