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

Pavel Surynek

Browse the full ICTAI paper archive.