论文研究Aujin Algorithm: A Deterministic Polynomial Algorithm for SAT.pdf 上传者：宛陵秋 2019-09-22 07:37:58上传 PDF文件 210.99KB 热度 64次 Aujin算法：SAT的确定的多项式算法，张柱金，，我们发现了一新事物---Aujin。基于Aujin，我们证明了几个重要的定理和设计了这确定的多项式算法。我们还提出了三个假设。任意一个被�� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
