On the optimization power of redundancy addition and removal for sequential logic optimization | Publicación