An approximate algorithm for computing the complexity of reversible functions in the basis of Toffoli

From MaRDI portal