Graph Rewriting-based Superoptimisation
Structure
ZX Calculus
#
Biochemistry
#
Formalism
Set of rewrite rules