Large clique is hard on average for resolution
scientific article; zbMATH DE number 7493542
scientific article