TY - RPRT TI - Modifying Optimal SAT-based Approach to Multi-agent Path-finding Problem to Suboptimal Variants AU - Pavel Surynek AU - Ariel Felner AU - Roni Stern AU - Eli Boyarski PY - 2017 UR - https://arxiv.org/abs/1707.00228 ID - 1707.00228 ER -