CliSAT: A new exact algorithm for hard maximum clique problems

Pablo San Segundo, Fabio Furini, David Álvarez 0001, Panos M. Pardalos. CliSAT: A new exact algorithm for hard maximum clique problems. European Journal of Operational Research, 307(3):1008-1025, June 2023. [doi]

Abstract

Abstract is missing.