On Propositional Encodings of Cooperative Path-Finding.

Pavel Surynek

Browse the full ICTAI paper archive.