shortened branch and bound