线上期刊服务咨询,发表咨询:400-808-1701 订阅咨询:400-808-1721

ACUN理论一般合一化问题的合一化算法

李梦君; 王桢珍; 李舟军; 陈火旺 计算机工程与科学 2006年第05期

摘要:ACUN理论是异或算子代数性质的刻画.基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法.

关键词:acun理论一般合一化问题合一化算法

单位:国防科技大学计算机学院; 湖南长沙410073; 国防科技大学信息系统与管理学院; 湖南长沙410073

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

计算机工程与科学

北大期刊

¥624.00

关注 46人评论|5人关注