"Proving SAT does not have small circuits with an application to the two ..."

Lance Fortnow, Aduri Pavan, Samik Sengupta (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics