S. Panjkovic and A. Micheli, “Expressive Optimal Temporal Planning via Optimization Modulo Theory”, AAAI, vol. 37, no. 10, pp. 12095-12102, Jun. 2023.