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

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