Listar Matemática Aplicada por autor "Calegari, Rafael"
Mostrando ítems 1-1 de 1
-
Testabilidade de propriedades de estruturas discretas
Calegari, Rafael (2022) [Tesis de maestría]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 ...