Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation

POPL 2020