Sumários

18 Outubro 2019, 09:30 • Paulo Jorge Cunha Vaz Dias Urbano

Introdução aos problemas de satisfação de restrições.

Formulação com variáveis, domínios e restrições.

Restrições implícitas e explícitas

Exemplos de formulação

17 Outubro 2019, 12:00 • Helena Aidos

Formulação como problema de procura num espaço de estados.

16 Outubro 2019, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Primeiro teste de avaliação contínua: Formulação de um problema como um grafo de estados.

14 Outubro 2019, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Primeiro teste de avaliação contínua: Formulação de um problema como um grafo de estados.

14 Outubro 2019, 09:30 • Paulo Jorge Cunha Vaz Dias Urbano

Alguns exercícios de procura em grafo e em árvore e sobre as propriedades das heurísticas, admissibilidade e consistência.