Application of propositional satisfiability to special cases of cooperative path-planning.

Pavel Surynek

Browse the full ICMLC paper archive.