Constraint Propagation

Uma técnica em programação de restrições que envolve a propagação das implicações das restrições para reduzir os domínios de variáveis. Isso ajuda a podar o espaço de busca e a encontrar soluções mais rapidamente.