An improved upper bound for SAT
scientific article; zbMATH DE number 7401208