Sparse Decision Diagrams for SAT-based Compilation of Multi-Agent Path Finding (Extended Abstract).

Pavel Surynek

Browse the full SoCS paper archive.