This paper deals with one of the types of "Satellite Range Scheduling" problems arising in Earth Observation Satellite operations, Antenna-Satellite Scheduling. Given a set of satellites, a set of available antennas and a time horizon, the problem consists of designing an operational plan that assigns satellites to antennas in an optimal fashion. Extending a previous Integer Linear Programming (ILP) model (Shortening Model, with only integer variables), we propose a Mixed Integer Linear Programming (MILP) model (Shaving Model, which includes both continuous and integer variables), to more efficiently solve this problem. After computing the passes generated by the satellites' windows of visibility from the antennas, the optimal planner is able to cancel a pass, move it to another antenna, or shorten its duration, in order to avoid scheduling conflicts. In contrast to the Shortening Model, which used intersections between passes to determine the best schedule, the shortening operation is now referred to as shaving, since the Shaving Model can arbitrarily adjust the duration of a pass in a razor-like fashion, giving the model its name. Computational results obtained in tests over realistic scenarios prove that the Shaving Model outperforms the Shortening Model, producing fewer cancellations, smaller shaved times, and a fairer distribution of cancelled passes among satellites, with much shorter pre-processing times.