ELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring

Publication
DAC 2025