Branching Strategy Selection Approach Based on Vivification Ratio