Propagación de Restricciones

Un proceso en la resolución de restricciones en el que se aplican reglas de inferencia locales a las restricciones para reducir iterativamente los dominios de las variables eliminando valores que no pueden participar en ninguna solución bajo las restricciones actuales, frecuentemente como preprocesado o durante la búsqueda para podar el espacio de búsqueda.

El proceso iterativo de aplicar restricciones en una red de restricciones para reducir los dominios de las variables eliminando valores que no pueden formar parte de ninguna solución, implementado frecuentemente mediante consistencia de arcos, comprobación adelantada o algoritmos de consistencia generalizados.