Constrained Horn Clauses for Program Verification
05 de setembro às 16h na sala 6321 (DCC)
Constrained Horn Clauses for Program Verification Read More »
05 de setembro às 16h na sala 6321 (DCC)
05 de setembro às 16h na sala 6321 (DCC)
Constrained Horn Clauses for Program Verification Read More »
05 de setembro às 16h na sala 6321 (DCC)
Data e hora: sexta, 5 de maio de 2023, às 16h Local: sala 2077 (ICEx) Palestrante: Marcio Santos (DCC, UFMG) Resumo: Um dos problemas mais estudados em teoria dos grafos é o problema de determinar o número cromático de um grafo. O número cromático é o menor número de cores necessário para colorir um grafo
Colorações, Heurísticas e um pouco de pessimismo Read More »
Data e hora: sexta, 5 de maio de 2023, às 16h Local: sala 2077 (ICEx) Palestrante: Marcio Santos (DCC, UFMG) Resumo: Um dos problemas mais estudados em teoria dos grafos é o problema de determinar o número cromático de um grafo. O número cromático é o menor número de cores necessário para colorir um grafo