EffiSyn: Efficient Logic Synthesis with Dynamic Scoring and Pruning. - Xing Li; Lei Chen 002; Jiantang Zhang; Shuang Wen 007; Weihua Sheng; Yu Huang 005; Mingxuan Yuan (ICCAD, 2023)