Fast algorithms for classical specifications of stabiliser states and Clifford gates.

Nadish de Silva Wilfred Salmon Ming Yin

Published in: CoRR (2023)

Keyphrases

computational cost
optimization problems
data structure
times faster
learning algorithm
multiscale
theoretical analysis
orders of magnitude
graph theory
computationally efficient
branch bound
database
formal specification
recently developed
model checking
worst case
database systems
data mining