@misc{indiciae805e63c826e6, title = {Lower Bounds for the Size of Nondeterministic Circuits}, author = {Hiroki Morizumi}, year = {2015}, url = {https://arxiv.org/abs/1504.06731}, note = {Source identifier: 1504.06731} }