Return to Article Details Sparse Decision Diagrams for SAT-based Compilation of Multi-Agent Path Finding (Extended Abstract) Download Download PDF