Migrating Techniques from Search-Based Multi-Agent Path Finding Solvers to SAT-Based Approach
- Pavel Surynek
- , Roni Stern
- , Eli Boyarski
- , Ariel Felner
- Czech Technical University in Prague
- Ben-Gurion University of the Negev
- Palo Alto Research Center
Research output: Contribution to journal › Article › peer-review
9
Scopus
citations