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