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.