Proving SAT does not have small circuits with an application to the two queries problem
scientific article; zbMATH DE number 5246769