关于实质本源蕴涵项的识别问题

本文揭示了ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小化算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。

基于编码算法的组合逻辑电路最优化软件的设计与实现

在组合电路综合领域,逻辑最小化对电路面积及性能起到至关重要的作用。文章提出了一个新的产生本源蕴涵项的算法,并开发了一个最优化软件MININT,实验表明,它在运算速度和存储性能上都是高效的。