1 paper · 1 filter
Yongzheng Dai, Chen Chen
A conflict graph represents logical relations between binary variables, and effective use of the graph can significantly accelerate branch-and-cut solvers for mixed-integer program…