Mutex reasoning in cooperative path finding modeled as propositional satisfiability | IEEE Conference Publication | IEEE Xplore