( en | de | ru )

 

Disambiguierung von "Surynek, Pavel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach.

, , , und . J. Artif. Intell. Res., (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wieland Werther Pavel

Dietrich Pavel

Luciana Pavel

Ji Pavelka

Jonas Philipp Pavelka

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving.. PRICAI, Volume 7458 von Lecture Notes in Computer Science, Seite 564-576. Springer, (2012)Solving Difficult SAT Instances Using Greedy Clique Decomposition.. SARA, Volume 4612 von Lecture Notes in Computer Science, Seite 359-374. Springer, (2007)Multi-agent Path Finding with Capacity Constraints., , und . AI*IA, Volume 11946 von Lecture Notes in Computer Science, Seite 235-249. Springer, (2019)Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding., , , und . ICAART (Revised Selected Papers), Volume 10839 von Lecture Notes in Computer Science, Seite 116-136. Springer, (2017)On Improving Plan Quality via Local Enhancements., , und . SOCS, AAAI Press, (2012)Joint Movement of Pebbles in Solving the (N2-1)-Puzzle and its Applications in Cooperative Path-Finding: (JAAMAS)., und . AAMAS, Seite 856-857. ACM, (2017)Encoding of Planning Problems and Their Optimizations in Linear Logic., , und . INAP/WLP, Volume 5437 von Lecture Notes in Computer Science, Seite 54-68. Springer, (2007)Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings.. CoRR, (2020)Logic-Based Multi-agent Path Finding with Continuous Movements and the Sum of Costs Objective.. RCAI, Volume 12412 von Lecture Notes in Computer Science, Seite 85-99. Springer, (2020)Multi-agent path finding with mutex propagation., , , , und . Artif. Intell., (2022)