Optimization Bounds from the Branching Dual. - J. G. Benade; John N. Hooker (CoRR, 2019)