Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic.

Toms Kolrik, Stefan Ratschan, Pavel Surynek

Browse the full ICAART paper archive.