Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiebaux
Numeric Planning with Disjunctive Global Constraints via SMT
Categories
Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiebaux
Numeric Planning with Disjunctive Global Constraints via SMT