Procura em Problemas de Satisfação de Restrições
12 Novembro 2021, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano
Aula em Lab
Procura com retrocesso, com verificação para a frente. Consistência dos arcos e o algoritmo AC3.
Heurísticas. Retrocesso com AC3