Rybalov,A.N。 关于布尔电路可满足性问题的一般NP完备性。 (俄语。英文摘要) Zbl 1455.68071号 普里克尔。Diskretn公司。材料。 2020年,第47号,101-107(2020).MSC公司:2017年第68季度 2006年第68季度 65年第68季度 68周01 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Rybalov},普里克尔。Diskretn公司。材料2020,编号47,101--107(2020;Zbl 1455.68071) 全文: 内政部 MNR公司
Nikitin,A.Yu。;Rybalov,A.N。 关于有限偏序集上系统可满足性问题的复杂性。 (俄语。英文摘要) Zbl 1515.68220号 普里克尔。Diskretn公司。材料。 2018年,编号39,94-98(2018).MSC公司:68兰特 06A07年 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Nikitin}和\textit{A.N.Rybalov},Prikl。Diskretn公司。材料2018,编号39,94-98(2018;Zbl 1515.68220) 全文: 内政部 MNR公司
阿德尔申,A.V。;A.K.库钦。 部分MAX-SAT问题中多面体的L结构分析。 (俄语。英文摘要) 兹伯利07311446 普里克尔。Diskretn公司。材料。 2017年第4号(38)、第110-118号(2017).MSC公司:90倍X 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Adelshin}和\textit{A.K.Kuchin},Prikl。Diskretn公司。材料2017,编号4(38),110-118(2017;Zbl 07311446) 全文: 内政部 MNR公司
Rybalov,A.N。 关于布尔可满足性问题的一般NP-完全性。 (俄语。英文摘要) Zbl 1457.68117号 普里克尔。Diskretn公司。材料。 2017年第2(36)、106-112(2017)号.MSC公司:2017年第68季度 2009年第68季度 2015年第68季度 65年第68季度 68兰特 68周01 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Rybalov},普里克尔。Diskretn公司。材料2017,编号2(36),106-112(2017;Zbl 1457.68117) 全文: 内政部 MNR公司 链接
阿德尔申,A.V。;科洛科洛夫,A。 基于(L)-划分方法分析和求解具有逻辑约束的离散优化问题。 (俄语。英文摘要) Zbl 07310323号 普里克尔。Diskretn公司。材料。 2015年第4期(30),100-108(2015).MSC公司:90倍X 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Adel'shin}和\textit{A.A.Kolokolov},Prikl。Diskretn公司。材料2015,编号4(30),100-108(2015;Zbl 07310323) 全文: 内政部 MNR公司
科洛科洛夫,A。;阿德尔申,A.V。;雅戈法洛娃,D.I。 基于正则划分的逻辑约束离散优化问题研究。 (俄语。英文摘要) Zbl 1490.68144号 普里克尔。Diskretn公司。材料。 2013年,第1期(19),99-109(2013).MSC公司:68兰特 65年第68季度 68周05 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Kolokolov}等人,Prikl。Diskretn公司。材料2013,第1号(19),99-109(2013;Zbl 1490.68144) 全文: MNR公司
塞梅诺夫,A.A。;Otpuschennikov,I.V.公司。;科切马佐夫,S.E。 SAT方法在解决组合问题中的应用。 (俄语。英文摘要) Zbl 1477.68189号 普里克尔。Diskretn公司。材料。 2011年,补遗4,68-69(2011).MSC公司:68兰特 65年第68季度 68瓦30 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Semenov}等人,Prikl。Diskretn公司。材料2011,68--69(2011;Zbl 1477.68189) 全文: MNR公司
Otpuschennikov,I.V.公司。;塞梅诺夫,A.A。 将组合问题转换为布尔方程的技术。 (俄语。英文摘要) Zbl 1477.68188号 普里克尔。Diskretn公司。材料。 2011年,第1(11)号,96-115(2011).MSC公司:68卢比 68-04 68兰特 68周05 90C09型 94A60型 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Otpuschennikov}和\textit{A.A.Semenov},Prikl。Diskretn公司。材料2011,第1(11)号,96-115(2011;Zbl 1477.68188) 全文: MNR公司