精选理由
一篇论文展示了如何让没有任务的智能体给有任务的智能体让路，用上了SMT-CBS和NRF-SAT求解器，思路很清晰。
本文研究多智能体路径规划（MAPF）的一个变种——未分配智能体MAPF（UA-MAPF），其中部分智能体有起点和终点，而另一些智能体只有起点无终点，须为前者让路。作者将UA-MAPF表达为布尔可满足性问题，改编了两种编译式求解器SMT-CBS和NRF-SAT。实验在标准MAPF基准上验证了该方法的有效性。
AI 翻译 · 中文
本文研究多智能体路径规划（MAPF）的一个变种——未分配智能体MAPF（UA-MAPF），其中部分智能体有起点和终点，而另一些智能体只有起点无终点，须为前者让路。作者将UA-MAPF表达为布尔可满足性问题，改编了两种编译式求解器SMT-CBS和NRF-SAT。实验在标准MAPF基准上验证了该方法的有效性。
Compilation-based techniques represent an important stream of solvers for multi-agent path finding (MAPF) due to their modularity and adaptability for non-standard variants of the problem. While in the standard MAPF the …