T 7

14 Abril 2026, 16:30 • João Pedro Guerreiro Neto

Introduction to Constraint Programming. Modelling and solving problems as CSPs. Introduction to Z3 by solving classic CSP problems.

---

TP 6

31 Março 2026, 18:30 • João Pedro Guerreiro Neto

Exercises about greedy algorithms and dynamic programming.

---

T 6

31 Março 2026, 16:30 • João Pedro Guerreiro Neto

Problem Decomposition, divide and conquer, greedy algorithms and dynamic programming.

---

TP 5

24 Março 2026, 18:30 • João Pedro Guerreiro Neto

The professor was  sick, so there was no lecture.

---

T 5

24 Março 2026, 16:30 • João Pedro Guerreiro Neto

The professor was  sick, so there was no lecture.

---