Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning | IEEE Journals & Magazine | IEEE Xplore