1. A machine-implemented method comprising: identifying an infeasible node in a tree data structure, the tree data structure corresponding to a programming model; computing a fake objective value for the infeasible node; updating a branching variable pseudocost using the fake objective value; using the branching variable pseudocost for selecting a branching variable from a plurality of branching variables corresponding to the tree data structure; and branching to a branch corresponding to the selected branching variable.