A branching heuristic based on variable decision levels.

Zhonghe Du, Zhenming Song

Browse the full ISKE paper archive.