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

Devs

Finding Optimal Solutions to Token Swapping by Conflict-based Search and Reduction to SAT | Read Paper on Bytez