CliSAT: A new exact algorithm for hard maximum clique problems | Publicación