Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs.

Pavel Surynek

Browse the full ICTAI paper archive.