Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach

DOI10.1613/jair.1.13318OpenAlexW4211174927MaRDI QIDQ5076310

Ariel Felner, Eli Boyarski, Pavel Surynek, Roni Stern

Publication date: 16 May 2022

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.13318

zbMATH Keywords

planningproblem solvingsatisfiabilityconstraint satisfaction

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (1)

Shadoks Approach to Low-Makespan Coordinated Motion Planning

This page was built for publication: Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach