Sumários
Problemas de satisfação de Restrições
21 março 2022, 10:00 • Manuel Cabido Lopes
Problema de Satisfação de Restricções
-Definição
-Restricções
-Consistência
Algoritmos
Algoritmos
-Inferência
-AC3
-PC3
-Procura com Retrocesso
-Heuristicas
-Forward Checking
-Procura Local em CSP
Referência: 6.1, 6.2, 6.3
Procura Informada
21 março 2022, 08:30 • André Afonso Nunes Silva
- Exercício 1.1 c) d)
- Exercício 2.1 c) d)
- Exemplo RBFS
Lab 4: procura informada (continuação)
21 março 2022, 08:30 • Gonçalo Raposo
- Exercícios do Capítulo 2: Procura Informada (IDA* e RBFS)
L05 aula laboratorial 04
21 março 2022, 08:00 • Luis Miguel Martins Fernandes
Resolução de exercícios sobre
- procura informada
- IDA*
- RBFS
Exercícios online