#búsqueda de caminos multi-agente

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.