Resolução de Problemas de Satisfação de Restrições
27 Abril 2020, 13:30 • Paulo Jorge Cunha Vaz Dias Urbano
Procura em Profundidade Primeiro com Retrocesso
Verificação para a Frente
Procura em Profundidade Primeiro com Verificação para a Frente e Retrocesso
Arcos consistentes e algoritmo AC-2.
Procura em Profundidade Primeiro com aplicação do AC-2 e Retrocesso
Heurísticas da variáveis: ordenação pelas variáveis mais limitadoras e pelas mais restringidas