View of DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies

Return to Article Details DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies Download Download PDF