Búsqueda por Retroceso

Un mecanismo de búsqueda en árbol que asigna recursivamente valores a variables de decisión, propaga consecuencias y revierte (retrocede) asignaciones cuando se alcanza una contradicción o callejón sin salida para explorar sistemáticamente asignaciones alternativas.