Sei opt der optimale Zielfunktionswert. Ein Knoten im Zustandsraum mit einem l -Wert b < opt muß von jedem sequentiellen und parallelen Algorithmus expandiert werden. Ein Knoten mit l -Wert b = opt muß nur dann expandiert werden, wenn zu diesem Zeitpunkt noch keine Lösung mit diesem Wert vorliegt.