branch end bound method