Finding Optimal Solutions to Token Swapping by Conflict-Based Search and Reduction to SAT | IEEE Conference Publication | IEEE Xplore