摘要:ACUN理论是异或算子代数性质的刻画.基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法.
关键词:acun理论 一般合一化问题 合一化算法
单位:国防科技大学计算机学院; 湖南长沙410073; 国防科技大学信息系统与管理学院; 湖南长沙410073
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关期刊
Acta Mathematica Scientia Acta Mathematicae Applicatae Sinica Hepatobiliary Pancreatic Diseases International Acta Mechanica Sinica Hepatobiliary Pancreatic Diseases International Acta Metallurgica Sinica Acta Geologica Sinica Acta Mechanica Solida Sinica Acta Oceanologica Sinica Nuclear Science and Techniques