S. Muñoz, “Detecting constraint redundancy in 0-1 linear programming problems”, Rev. mat. (En línea), vol. 8, no. 1, pp. 1–12, Feb. 2001.