Proving SAT does not have small circuits with an application to the two queries problem | IEEE Conference Publication | IEEE Xplore