Lance Fortnow, Aduri Pavan, Samik Sengupta. Proving SAT does not have small circuits with an application to the two queries problem. J. Comput. Syst. Sci., 74(3):358-363, 2008. [doi]
@article{FortnowPS08, title = {Proving SAT does not have small circuits with an application to the two queries problem}, author = {Lance Fortnow and Aduri Pavan and Samik Sengupta}, year = {2008}, doi = {10.1016/j.jcss.2007.06.017}, url = {http://dx.doi.org/10.1016/j.jcss.2007.06.017}, researchr = {https://researchr.org/publication/FortnowPS08}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {74}, number = {3}, pages = {358-363}, }