Sumários
Algoritmos de SAT + MAP
13 Janeiro 2023, 11:30 • Luísa Coheur
Propagação das marcas + baldes. Realização do último MAP.
Resolução de exercícios com DAGs e algoritmo DP. Exercício de avaliação.
12 Janeiro 2023, 13:00 • Rafael Alexandre Milheiro Lourenço
Resolução de exercícios com DAGs e algoritmo DP, com e sem baldes. Exercício de avaliação.
Algoritmos de SAT + MAP
12 Janeiro 2023, 13:00 • Luísa Coheur
Propagação das marcas + baldes. Realização do último MAP.
Resolução de exercícios com DAGs e algoritmo DP. Exercício de avaliação.
12 Janeiro 2023, 11:00 • Rafael Alexandre Milheiro Lourenço
Resolução de exercícios com DAGs e algoritmo DP, com e sem baldes. Exercício de avaliação.