摘要：多项式时间计算正蕴含式（positive DNF）的最细Delta-分解成分，并提供了一种基于多变量布尔多项式因式分解的分解算法
作者：Denis Ponomaryov
论文ID：1805.08177
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2019-05-06
PDF 下载： 英文版 中文版pdf翻译中