Xiu-Qin Wang, Yang Yang. New approach of exploiting symmetry in SAT-based Boolean matching for FPGA technology mapping. In IEEE International Conference on Vehicular Electronics and Safety, ICVES 2013, Dongguan, China, 28-30 July, 2013. pages 282-285, IEEE, 2013. [doi]
Abstract is missing.