# Numeric Planning with Disjunctive Global Constraints via SMT

> Research article (Proceedings of the International Conference on Automated Planning and Scheduling, 2016) · cited 31× · AI/ML

**Wikidata**: [openalex:W2550730412](https://www.wikidata.org/wiki/openalex:W2550730412)  
**Source**: https://4ort.xyz/entity/numeric-planning-with-disjunctive-global-constraints-via-smt