Optimal symmetry detection for OKFDDs

Ordered Kronecker functional decision diagrams (OKFDD) are an extension of the popular ordered binary decision diagrams (OBDD) and as such provide a more compact representation of Boolean functions than OBDDs. Symmetric functions are useful in logic synthesis. In this paper, we present an optimal algorithm for detecting symmetric functions represented in OKFDDs.