Cutting planes for integer programs with general integer variables. - Sebastián Ceria; Cécile Cordier; Hugues Marchand; Laurence A. Wolsey (Math. Program., 1998)

bc - opt : a branch-and-cut code for mixed integer programs. - Cécile Cordier; Hugues Marchand; Richard Laundy; Laurence A. Wolsey (Math. Program., 1999)