Navegação Matemática Aplicada por Autor "Calegari, Rafael"
Resultados 1-1 de 1
-
Testabilidade de propriedades de estruturas discretas
Calegari, Rafael (2022) [Dissertação]Diante de instâncias intratáveis de problemas de decisão, assim en- tendidas como entradas para os respectivos algoritmos que sejam tão longas, que não permitem que se assegure o processamento de tal algoritmo sobre a dada ...