@inproceedings{LazyRelocation_IROS2019,
 author = {Pavel Surynek},
 booktitle = {2019 IEEE/RSJ International Conference on Intelligent Robots and Systems {IROS}},
 title = {Lazy  Compilation  of  Variants  of  Multi-robot  Path  Planning  withSatisfiability  Modulo  Theory  (SMT)  Approach},
 year = {2019},
 pages = {3282 -- 3287},
 publisher = {IEEE Press}
}