Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding
Keyword(s):
2021 ◽