TP10 - Problemas de satisfação de restrições - algoritmos
15 Maio 2018, 17:00 • Sara C. Madeira
Utilização do algoritmo backtracking-search na resolução de problemas de satisfação de restrições.
Preprocessamento usando verificação de node-consistency e arc-consistency (algoritmo AC3)
Melhoramentos ao backtracking-search: heuristicas para escolha das variáveis e valores e Forward-checking.