R. Barták and J. Švancara, “On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective”, SOCS, vol. 10, no. 1, pp. 10–17, Sep. 2021.