Bounded Sub-optimal Multi-Robot Path Planning Using Satisfiability Modulo Theory (SMT) Approach | IEEE Conference Publication | IEEE Xplore