Proving SAT does not have small circuits with an application to the two queries problem
Lance Fortnow, A. Pavan, Samik SenguptaVolume:
74
Year:
2008
Language:
english
Pages:
6
DOI:
10.1016/j.jcss.2007.06.017
File:
PDF, 105 KB
english, 2008