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]

Authors

Pablo San Segundo

This author has not been identified. Look up 'Pablo San Segundo' in Google

Fabio Furini

This author has not been identified. Look up 'Fabio Furini' in Google

David Álvarez 0001

This author has not been identified. Look up 'David Álvarez 0001' in Google

Panos M. Pardalos

This author has not been identified. Look up 'Panos M. Pardalos' in Google