S. Szabo and B. Zavalnij, “Estimating clique size via discarding subgraphs”, IJCAI, vol. 45, no. 2, Jun. 2021.