Finding Optimal Solutions to Token Swapping by Conflict-based Search and Reduction to SAT

Open in new window