7.1. Método general.
Ejemplo. Recorrido con ramificación y poda, usando LC-FIFO.
Supongamos un problema de minimización, y que tenemos el caso 1 (a partir de un nodo siempre existe alguna solución).
Para realizar la poda usaremos una variable C = valor de la menor de las cotas superiores hasta ese momento (o de alguna solución final).
Si para algún nodo i, CI(i) ? C, entonces podar i.