This paper presents the tree structure of the solution set for logicpartitioning problem and some matrix inequalities relating to the total amount of pins.
本文给出了逻辑划分问题解集合的树结构以及有关总针数的若干矩阵不等式，建立了一个分枝限界算法。
2
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.
本文阐明将硬件逻辑翻译器产生的布尔方程集合划分成子集后，转换成多维体列阵。
3
Presents a layout strategy based on partitioning, that can efficiently solve the problem of automatic generation of logic schematics for VLSI.