Faster homomorphic encryption is not enough: improved heuristic for multiplicative depth minimization of Boolean circuits
scientific article; zbMATH DE number 7228747