Fingerprint
Dive into the research topics of 'Numeric planning with disjunctive global constraints via SMT'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Numeric planning with disjunctive global constraints via SMT
Enrico Scala, Miquel Ramirez, Patrik Haslum, Sylvie Thiebaux
Research output: Contribution to journal › Conference article › peer-review
28
Citations
(Scopus)