Programação por Restrições
AC-3 (Algoritmo de Consistência de Arco 3)
Algoritmo eficiente que estabelece a consistência de arco usando uma fila para propagar as reduções de domínios entre as variáveis.
← Voltar