A branching heuristic based on variable decision levels. - Zhonghe Du; Zhenming Song (ISKE, 2017)