conftrace_

optimization modulo theory

2 papers

Explore in graph

Also known as

OMT

Co-occurring keywords · papers mentioning both

makespan optimization (2) optimal planning (2) temporal planning (2) optimal temporal planning (1) action scheduling (1) abstract action (1) abstract action scheduling (1) abstract scheduling (1) industrial automation (1) action planning (1)

Papers

Abstract Action Scheduling for Optimal Temporal Planning via OMT AAAI 2024 Expressive Optimal Temporal Planning via Optimization Modulo Theory AAAI 2023