Browsing Exact and Earth Sciences by Author "Calegari, Rafael"
Now showing items 1-1 of 1
-
Testabilidade de propriedades de estruturas discretas
Calegari, Rafael (2022) [Dissertation]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 ...