Faster integer-feasibility in mixed-integer linear programs by branching to force change. - Jennifer Pryor; John W. Chinneck (Comput. Oper. Res., 2011)