【文件属性】：
文件名称：论文研究-Aujin Algorithm: A Deterministic Polynomial Algorithm for SAT.pdf
文件大小：211KB
文件格式：PDF
更新时间：2022-09-04 04:51:58
Deterministic Polynomial Algorithm
Aujin算法：SAT的确定的多项式算法，张柱金，，我们发现了一新事物---Aujin。基于Aujin，我们证明了几个重要的定理和设计了这确定的多项式算法。我们还提出了三个假设。任意一个被��