Before revision:  We study an integer linear programming formulation and its linear programming relaxation.
After revision:  We study an integer linear programming formulation and its LP relaxation.