Integer Linear Programming for the vertex cover problem Integer Linear Programming for the vertex cover problem