Linear circuit synthesis using weighted Steiner trees. - Michele Nir Gavrielov; Alexander Ivrii; Shelly Garion (Quantum Inf. Comput., 2024)