231 citations · 1.2k across the 34 of their papers we have counts for
1 paper · 1 filter
Vadym Kliuchnikov, Michael Beverland, Adam Paetznick
The ubiquity of stabilizer circuits in the design and operation of quantum computers makes techniques to verify their correctness essential. The simulation of stabilizer circuits,…