Pavel Surynek

Identifiers

No identifiers captured yet.

Papers (10)

1. On the Tour Towards DPLL(MAPF) and Beyond cs.AI · 2019 · author #1
2. Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT) cs.AI · 2019 · author #1
3. A Summary of Adaptation of Techniques from Search-based Optimal Multi-Agent Path Finding Solvers to Compilation-based Approach cs.AI · 2018 · author #1
4. Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search cs.AI · 2018 · author #1
5. Finding Optimal Solutions to Token Swapping by Conflict-based Search and Reduction to SAT cs.AI · 2018 · author #1
6. Maintaining Ad-Hoc Communication Network in Area Protection Scenarios with Adversarial Agents cs.MA · 2017 · author #2
7. Area Protection in Adversarial Path-Finding Scenarios with Multiple Mobile Agents on Graphs: a theoretical and experimental study of target-allocation strategies for defense coordination cs.AI · 2017 · author #2
8. Modifying Optimal SAT-based Approach to Multi-agent Path-finding Problem to Suboptimal Variants cs.AI · 2017 · author #1
9. Makespan Optimal Solving of Cooperative Path-Finding via Reductions to Propositional Satisfiability cs.AI · 2016 · author #1
10. Improvements in Sub-optimal Solving of the $(N^2-1)$-Puzzle via Joint Relocation of Pebbles and its Applications to Rule-based Cooperative Path-Finding cs.AI · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Marika Ivanov\'a 2 shared papers
• Ariel Felner 1 shared papers
• Diep Thi Ngoc Nguyen 1 shared papers
• Eli Boyarski 1 shared papers
• Petr Michal\'ik 1 shared papers
• Roni Stern 1 shared papers