Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits

NIAN-ZE LEEHao-Yuan KuoYi-Hsiang LaiJIE-HONG JIANG2019-10-242019-10-24201610923152https://scholars.lib.ntu.edu.tw/handle/123456789/427576Analytic approaches to the collapse operation and equivalence verification of threshold logic circuitsconference paper10.1145/2966986.29670012-s2.0-85001103617