Categories
recording

Numeric Planning with Disjunctive Global Constraints via SMT