3ª Aula
6 Março 2017, 14:00 • João Marques Silva
A terceira aula aprofundou o estudo da modelização de problemas com lógica proposicional. Exemplos concretos incluiram restrições de cardinalidade e pseudo-booleanas. Foi também estudada a representação de CSPs (Constraint Satisfaction Problems) com lógica proposicional. Finalmente foram analisados vários casos de estudos, incluindo problemas em grafos, incluindo a cobertura de vértices ou a coloração de grafos, o problema das N-rainhas, exemplos práticos, incluindo a actualização de pacotes de software ou a depuração de circuitos, e também exemplos paradigmáticos como o Knapsack ou o clique máximo. Finalmente, foi estudada a modelação com lógica proposicional do problema de itemset mining.