An algorithm for identifying symmetric variables of Boolean function with don't-care-terms(含无关项布尔函数的对称变量检测算法) 著者: ZHANGYongbo(张永波), LIXiaohua(厉晓华)

全文の入手