A threshold for a polynomial solution of \#2SAT
scientific article; zbMATH DE number 6047763