Agentes no asignados en MAPF basado en compilación Descubre cómo resolver el problema de MAPF con agentes no asignados usando técnicas de compilación basadas en SAT. Nuevo enfoque SMT-CBS y NRF-SAT. 2026-06-16 · 2 min
