Un procedimiento de ramificación y poda requiere dos herramientas.