Pavel Surynek

1. DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving\n Technologies
   2021/11/11 by Martin Čapek, Čapek, Martin, Pavel Surynek +1 · 1 citation
   Computer Science · #Robotic Path Planning Algorithms #Multi-Agent Systems and Negotiation #Logic, Reasoning, and Knowledge