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]
@article{SegundoFAP23,
title = {CliSAT: A new exact algorithm for hard maximum clique problems},
author = {Pablo San Segundo and Fabio Furini and David Álvarez 0001 and Panos M. Pardalos},
year = {2023},
month = {June},
doi = {10.1016/j.ejor.2022.10.028},
url = {https://doi.org/10.1016/j.ejor.2022.10.028},
researchr = {https://researchr.org/publication/SegundoFAP23},
cites = {0},
citedby = {0},
journal = {European Journal of Operational Research},
volume = {307},
number = {3},
pages = {1008-1025},
}