Sumários

29 Março 2023, 13:30 • Nuno Cruz Garcia

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

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

Exercícios com Algoritmos de procura em CSP:

A procura com retrocesso, com/sem filtragem e com/sem heurísticas.

A consistência dos arcos, Filtragem através do alfgoritmo AC3,

heurísticas da variável mais restringida e de maior grau. Restricção do valor menos restritivo

28 Março 2023, 15:30 • Paulo Jorge Cunha Vaz Dias Urbano

Exercícios com Algoritmos de procura em CSP:

A procura com retrocesso, com/sem filtragem e com/sem heurísticas.

A consistência dos arcos, Filtragem através do alfgoritmo AC3,

heurísticas da variável mais restringida e de maior grau. Restricção do valor menos restritivo

28 Março 2023, 15:30 • Luis Antunes

CSP procura

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

Exercícios com Algoritmos de procura em CSP:

A procura com retrocesso, com/sem filtragem e com/sem heurísticas.

A consistência dos arcos, Filtragem através do alfgoritmo AC3,

heurísticas da variável mais restringida e de maior grau. Restricção do valor menos restritivo