https://cs.bme.hu/quantum/posts/2024-03-21-qip-2024/
Unitary Complexity and the Uhlmann Transformation Problem - QuSZIT