On hard instances
scientific article; zbMATH DE number 1493363
scientific article