Lower bounds on the complexity of recognizing SAT by Turing machines
scientific article; zbMATH DE number 1767386