Sumários

20 Março 2023, 17:30 • Paulo Jorge Cunha Vaz Dias Urbano

Resolução de exercícios sobre formulação de Problemas como PSC: Problemas de Satisfação de Restrições

Problemas com restrições unárias, binárias e de maior aridade.

Modelização de Problemas n-ários como problemas binários

20 Março 2023, 17:30 • Luis Antunes

CSP formulação

20 Março 2023, 13:30 • Paulo Jorge Cunha Vaz Dias Urbano

Problemas de Satisfação de Restrições com variáveis discretas e domínios discretos:

Formulação e exemplos

As variaveis, os seus domínios, o grafo de restrições e as restrições.

Modelização de problemas n-ários em binários

17 Março 2023, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Algoritmos de procura informada: greedy e A* em grafo. Heurísticas admissíveis e consistentes.

17 Março 2023, 14:00 • Paulo Jorge Cunha Vaz Dias Urbano

Algoritmos de procura informada: greedy e A* em grafo. Heurísticas admissíveis e consistentes.