Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach

Open in new window