New approaches for solving integer programs