In this paper, we compare several 0-1 linear programs for solving the satellite mission planning problem. We prove that one of them presents a smaller integrality gap. Our explanation is based on stable set polytope formulations for perfect graphs. keywords: Integer programming, stable set polytope, satellite mission planning, cocomparability graph.