Sumários

Algoritmos de SAT + MAP

13 janeiro 2023, 11:30 Luísa Coheur

Propagação das marcas + baldes. Realização do último MAP.


Apoio ao projecto

13 janeiro 2023, 08:00 Luísa Coheur

Apoio ao projecto


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.