Mutilated chessboard problem is exponentially hard for resolution
scientific article; zbMATH DE number 2111071