This paper considers the problem of scheduling n jobs on a single machine. A fixed processing time and an execution interval are associated with each job. Preemption is not allowed. On the basis of analytical and numerical dominance conditions, an efficient integer linear programming formulation is proposed for this problem, aiming at minimizing the maximum lateness (L max). Experiments have been performed by means of a commercial solver that show that this formulation iseffective on large problem instances. A comparison with thebranch-and-bound procedure of Carlier is provided.