This paper presents the tree structure of the solution set for logic partitioning problem and some matrix inequalities relating to the total amount of pins.
本文给出了逻辑划分问题解集合的树结构以及有关总针数的若干矩阵不等式，建立了一个分枝限界算法。
This paper describes the partitioning of the set pf the Boolean equations generated by the hardware logic translator and the conversion of the subset into cube arrays.
本文阐明将硬件逻辑翻译器产生的布尔方程集合划分成子集后，转换成多维体列阵。
According to the theory of Tri-partitioning of Epistemic Worlds, static deniable proposition logic system of Deny can be established on the basis of class.
在三分认知世界理论的基础上讨论拒斥模态与拒斥认知命题是恰当的。
应用推荐