Panjkovic S, Micheli A. Expressive Optimal Temporal Planning via Optimization Modulo Theory. AAAI [Internet]. 2023Jun.26 [cited 2024Jul.26];37(10):12095-102. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26426