Yannis Dimopoulos, Alfonso Gerevini: Temporal Planning through Mixed Integer Programming: A Preliminary Report. CP 2002: 47-62