Piacentini, C.; Castro, M.; Cire, A.; Beck, J. C. Compiling Optimal Numeric Planning to Mixed Integer Linear Programming. ICAPS 2018, 28, 383-387.