布尔逻辑的可满足性(SAT问题)是多项式吗?

IF 0.4 Q4 MATHEMATICS

Journal of Siberian Federal University-Mathematics & Physics Pub Date : 2021-10-01 DOI:10.17516/1997-1397-2021-14-5-667-671

V. Rybakov

引用次数: 0

摘要

我们找到了一个多项式算法来解决布尔逻辑中的SAT问题

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Satisfiability in Boolean Logic (SAT problem) is polynomial?

We find a polynomial algorithm to solve SAT problem in Boolean Logic

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Siberian Federal University-Mathematics & Physics MATHEMATICS-

CiteScore

0.90

自引率

0.00%

发文量