Pour chaque nœud, on évalue un

intervalle pour le coût des solutions encore réalisables

Si un nœud N a été évalué à [a,b] et s'il existe un autre nœud N’ évalué

à [c,d] tel que a

> d,

alors on peut couper la branche au niveau de N sans risque de manquer la solution

optimale