Panjkovic, S.; Micheli, A. Abstract Action Scheduling for Optimal Temporal Planning via OMT. AAAI 2024, 38, 20222-20229.