EffiSyn: Efficient Logic Synthesis with Dynamic Scoring and Pruning | IEEE Conference Publication | IEEE Xplore