Barrington–Straubing–Thérien conjecture on CC-circuit lower bounds
Barrington–Straubing–Thérien conjecture. There exists q>0q>0q>0 such that CnC_nCn has size
MathDB