S.-Y. LeeNIAN-ZE LEEJIE-HONG JIANG2019-10-242019-10-24201810923152https://scholars.lib.ntu.edu.tw/handle/123456789/427587[SDGs]SDG10Canonicalization of Threshold Logic Representation and its Applicationsconference paper10.1145/3240765.32407852-s2.0-85058155545