publicações selecionadas Enumerating cliques and their relaxations: sequential and parallel algorithms Abordagem híbrida para o problema de escalonamento de enfermeiros