Fast equivalence checking of quantum circuits of Clifford gates

Editor(s):
André, E.; Sun, J.