Algoritmos para Lógica Computacional

Aulas práticas: Recomendo bastante a presença em todas as aulas práticas, os professores dão bastante ajuda para os projetos e fazemos várias demonstrações de exercícios que vão sair no exame final
Os projetos abordam sempre um exercício de otimização de horários (NSP) com técnicas de MAXSAT e SMT.

Theoretical Classes → pretty important IMO - would not skip them. The lecturer, Vasco Manquinho, is also pretty good at teaching. The slides are good though.

Practical Classes → Professor Antonio Morgado taught these. In these classes we went through some exam-style practical exercises and coding exercises similar to what is expected for the project, I recommend going.

Project → split into two stages, first you code a SAT solution and then a SMT one for the same exact problem. A simple, short, not too complex python file was used for both, easily doable especially if you attend...

Esta cadeira é das mais interessantes que já tive e o professor explica muito bem. Os slides são muito bons. Os projetos são acessíveis mas os testes públicos disponibilizados são demasiado simples, comparando com os testes privados que o professor usa para avaliar, e não há informação dos tempos de execução previstos para termos noção da qualidade da nossa implementação. O exame tem nível de dificuldade moderado, e sendo uma cadeira de 1.º período o exame de recurso é só vários meses depois de a cadeira acabar, pelo que seria preferível fazer dois testes ao longo do período e um exame de...

I liked the course, though I understand it's not for everyone — it’s exactly what the name suggests: algorithms and logic.

There are three small projects with the same problem, each solved in a different paradigm. I found the first one the hardest because it was more abstract, but overall they were all relatively easy to complete (you can do them all in Python using the provided interfaces).

Completing the projects and solving previous exams is enough to prepare for the exam. I recommend attending the lab sessions; I didn't go to the lectures, and I don't think I missed much. I recommend the...