Sumários

11 Abril 2022, 17:30 • Nuno Cruz Garcia

Resolução de problemas de satisfação de restrições: procura com retrocesso, AC3, verificação para a frente.

11 Abril 2022, 17:30 • Ruben Miguel Rosa Branco

Resolução de problemas de satisfação de restrições: procura com retrocesso, AC3, verificação para a frente.

11 Abril 2022, 13:30 • Helena Aidos

Resolver problemas de satisfação de restrições: procura com retrocesso, AC3, verificação para a frente.

8 Abril 2022, 15:30 • Helena Aidos

Formulação em Python de problemas de satisfação de restrições.

Realização de quizzes.

8 Abril 2022, 14:00 • Ruben Miguel Rosa Branco

Formulação em Python de problemas de satisfação de restrições.

Realização de quizzes.