Finding fault-tolerant Clifford circuits using SMT solvers.

Noah Shutty Christopher Chamberland

Published in: CoRR (2022)

Keyphrases

fault tolerant
fault tolerance
distributed systems
load balancing
high speed
state machine
high availability
modulo theories
multi agent
mobile agents
database systems
expert systems
fine grained
energy consumption
interconnection networks