Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1806.09487
Cited By
Finding Optimal Solutions to Token Swapping by Conflict-based Search and Reduction to SAT
25 June 2018
Pavel Surynek
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Finding Optimal Solutions to Token Swapping by Conflict-based Search and Reduction to SAT"
1 / 1 papers shown
Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search
Pavel Surynek
92
6
0
16 Sep 2018
1
Page 1 of 1
