Dec, 2022

多智能体路径规划的启发式编译

TL;DR本文介绍了如何在 SAT 求解器中构建带有领域特定启发式信息的 MAPF 编码,并选择每个 agent 的备选路径来构建编码,实验结果表明这种启发式的 MAPF 求解器优于普通的 SAT 求解器。