Exploiting Symmetrization and D-reducibility for Approximate Logic Synthesis