7.1. Método general.
Esquema general. Problema de minimización, suponiendo el caso en que existe solución a partir de cualquier nodo.
RamificacionYPoda (NodoRaiz: tipo_nodo; var s: tipo_solucion);
x:= Seleccionar (LNV); { Según un criterio FIFO, LIFO, LC-FIFO ó LC-LIFO }
Si CI (x) < C entonces { Si no se cumple se poda x }
Para cada y hijo de x hacer
Si y es una solución final mejor que s entonces
Sino si y no es solución final y (CI(y) < C) entonces