In SAT, some of the best branching heuristics are guided by recently
learnt nogoods (e.g. Chaff's VSIDS heuristic). Develop an effective
branching heuristic for ILP based on similar ideas that learns from
nogoods/past branching mistakes/....