Sumários

8 Abril 2024, 13:30 • Paulo Jorge Cunha Vaz Dias Urbano

Resolução de problemas de satisfação de restrições:

A procura naive e a procura com retrocesso,

A consistência dos nós e dos arcos

O AC3,

A inferência através da Verificação para a frente e da manutenção da consistência dos arcos

As heurísticas de grau de variável mais restringida.

5 Abril 2024, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

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

5 Abril 2024, 14:00 • Paulo Jorge Cunha Vaz Dias Urbano

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

4 Abril 2024, 17:00 • Helena Aidos

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

4 Abril 2024, 15:30 • Helena Aidos

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