论文研究-Aujin Algorithm: A Deterministic Polynomial Algorithm for SAT.pdf

时间:2022-09-04 04:51:58
【文件属性】:

文件名称:论文研究-Aujin Algorithm: A Deterministic Polynomial Algorithm for SAT.pdf

文件大小:211KB

文件格式:PDF

更新时间:2022-09-04 04:51:58

Deterministic Polynomial Algorithm

Aujin算法:SAT的确定的多项式算法,张柱金,,我们发现了一新事物---Aujin。基于Aujin,我们证明了几个重要的定理和设计了这确定的多项式算法。我们还提出了三个假设。任意一个被��


网友评论