Pairwise symmetry reasoning for multi-agent path finding search

Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Graeme Gange, Sven Koenig