Conflict graphs in solving integer programming problems | Litlas