Algoritmos de Resolução de Problemas de Satisfação de Restrições
27 Março 2023, 13:30 • Paulo Jorge Cunha Vaz Dias Urbano
Procura com Restrocesso.
Conceito de verificação para a frente, consistência dos nós, dos arcos e do grafo.
Filtragem por verificação para a frente e através do forçar a consitência do grafo: o algoritmo AC3.
Heurísticas de variável mais restringida e de maior grau e heurísticas de valor menos restritivo.