Simulation of quantum circuits by low-rank stabilizer decompositionsSergey BravyiDan Browneet al.2019Quantum