TY  - RPRT
TI  - A constructive proof presenting languages in $Σ_2^P$ that cannot be decided by circuit families of size $n^k$
AU  - Sunny Daniels
PY  - 2014
UR  - https://arxiv.org/abs/1408.6334
ID  - 1408.6334
ER  -