# Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach

> Research article (2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2019) · cited 10× · AI/ML

**Wikidata**: [openalex:W3003475259](https://www.wikidata.org/wiki/openalex:W3003475259)  
**Source**: https://4ort.xyz/entity/lazy-compilation-of-variants-of-multi-robot-path-planning-with-satisfiability-modulo-theory-smt-approach