On using clique overlapping for detecting knapsack constraint redundancy and infeasibility in 0–1 mixed integer programs | Publicación