Programação por Restrições

Verificação Antecipada (Forward Checking)

Técnica de poda proativa que, ao atribuir uma variável, verifica e ajusta imediatamente os domínios das variáveis ainda não atribuídas.

← Voltar