%0 Journal Article
%T 对称检测算法的研究
%A 陈国章
%A 陈昊
%A 何丕廉
%J 天津大学学报(自然科学与工程技术版)
%P 611-614
%D 2001
%X 对称是逻辑综合、逻辑优化以及映像技术领域中一个非常重要的性质.对于对称函数,可以使用特殊的逻辑综合程序来改进设计结果.使用对称也可以提高映像技术和等价检测的有效性.提出一种用于obdd布尔函数对称性检测的精确有效的算法.
%K 对称
%K 算法
%K 布尔函数
%K 有序双元判定图(obdd)
%U http://xbzrb.tjujournals.com/oa/DArticle.aspx?type=view&id=200105011