Aula Laboratorial 12 - Lógica Proposicional - Algoritmos de SAT

4 fevereiro 2022, 14:30 • Pedro Orvalho

• Algoritmos de SAT:
• Propagação de Marcas;
• DP e DP recorrendo a baldes.
• Ficha de Avaliação 6.

12ª P

4 fevereiro 2022, 12:30 • Helena Sofia Andrade Nunes Pereira Pinto

Não houve aula

4 fevereiro 2022, 10:30 • Maria dos Remédios Vaz Pereira Lopes Cravo

Já foi dada toda a matéria.

12ª P

4 fevereiro 2022, 10:30 • Helena Sofia Andrade Nunes Pereira Pinto

Resolução exercícios Ficha 12 - Algoritmo SAT

4 fevereiro 2022, 10:30 • Maria José Rodrigues Ferreira

Resolução exercícios Ficha 12 - Algoritmo SAT e avaliação