塞梅诺夫，A.A。 离散函数反演问题中逻辑方程的分解表示。 （英语。俄文原件） Zbl 1294.90057号 J.计算。系统。科学。国际。 第5号第48页，第718-731页（2009年）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2009年，第5期，47-61（2009）。 摘要：考虑了多项式时间内可确定计算的离散函数的反演问题。应用了基于将算法表示为逻辑方程组的技术的命题方法。 引用于2文件 MSC公司： 90C29型 多目标规划 关键词：分解表示法;离散函数的反演 软件：查夫 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Semenov}，J.计算。系统。科学。国际48号第5、718--731条（2009年；Zbl 1294.90057）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2009年，第5期，47--61（2009） 全文： 内政部 参考文献： [1] A.A.Semenov和E.V.Buranov，“命题逻辑中对称密码密码分析问题的证明”，载于《计算技术》（与《Regional'nyi Vestnik Vostoka》杂志联合发行）第8期，第118-126页（2003年）。 [2] A.A.Semenov，“双序列生成器密码分析中的逻辑-神经方法”，载于2007年PAVT国际会议论文集（Izd-vo YuUrGU，车里雅宾斯克，2007），第1卷，第170–180页[俄语]。 [3] O.S.Zaikin和A.A.Semenov，“SAT问题中的大块并行技术”，《Problemy Upravleniya》，第1期，43–50页（2008年）。 [4] A.A.Semenov和O.S.Zaikin，“组合问题大块并行性中的不完全算法”，Vychils。Metody计划。9(1), 112–122 (2008). [5] 卫星直播[网址：http://www.satlive.org ]. [6] E.M.Clark、O.Gramberg和D.Peled，《程序模型验证：模型检查》（MTsNMO，莫斯科，2002）[俄语]。 [7] N.Catland，可计算性。递归函数理论导论（Mir，莫斯科，1983）[俄语]。 [8] M.R.Garey和D.S.Johnson，《计算机与难处理性：NP-完备性理论指南》（Freeman，旧金山，1979；Mir，莫斯科，1982）·Zbl 0411.68039号 [9] A.A.Semenov，“关于从类中反演离散函数的复杂性”，Diskretnyi Analiz i Issledovanie Operatsii，Ser。1. 11(4), 44–55 (2004). [10] S.V.Yablonskii，《离散数学导论》（Nauka，莫斯科，1986）[俄语]。 [11] S.A.Cook，《定理证明过程的复杂性》，载于第三届美国计算机学会计算理论研讨会论文集，美国俄亥俄州美国计算机学会，1971年，第151-159页。 [12] C.H.Papadimitriou和K.Steiglitz，《组合优化：算法和复杂性》（Prentice-Hall，Englewood Cliffs，1982；Mir，莫斯科，1985）·Zbl 0503.90060号 [13] J.Simon，《计算复杂性中的一些核心问题》，博士论文。计算机科学系（康奈尔大学，伊萨卡，纽约，1975年）。 [14] G.S.Tseitin，“命题演算中推理的复杂性”，Zap。瑙奇。Seminarov LOMI AN SSSR 8234-259（1968年）。 [15] G.Tseitin，“论命题微积分中推导的复杂性”，《建构数学和数理逻辑研究》，第2期，115-125（1968）。 [16] F.Massacci和L.Marraro，“作为SAT问题的逻辑密码分析：数据加密标准的编码”，预印号Dipartimento di Imformatica e Sistemistica。罗马“萨皮恩扎”大学，1999年。 [17] M.Davis、G.Logemann和D.Loveland，“定理证明的机器程序”，Commun。ACM 5394–397（1962）·Zbl 0217.54002号 ·数字对象标识代码：10.1145/368273.368557 [18] J.P.Marqeus Silva和K.A.Sakalah，“GRASP：命题可满足性的搜索算法”，IEEE Trans。计算。48(5), 506–521 (1999). ·数字对象标识代码：10.1109/12.769433 [19] 微型卫星：[http://www.cs.chalmers.se/cs/Research/FormalMethods/MiniSat/MiniSat.html ]. [20] M.Moskewicz和C.Madigan等人，“Chaff：设计高效SAT求解器”，《设计自动化会议论文集》（DAC）。拉斯维加斯，美国。 [21] E.Goldberg和Y.Novikov，“BerkMin:快速稳健的SAT求解器”，《欧洲设计自动化和测试》（DATE）（巴黎，2002年），第142-149页·Zbl 1121.68106号 [22] Ch.Meinel和T.Theobald，《超大规模集成电路设计中的算法和数据结构：OBDD-基础和应用》（Springer，Berlin，1998）·兹比尔0899.68040 [23] R.E.Bryant，“布尔函数操作的基于图形的算法”，IEEE Trans。计算。35(8), 677–691 (1986). ·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819 [24] C.Y.Lee，“用二元决策程序表示开关电路”，贝尔系统。《技术期刊》38，985–999（1959）。 ·doi:10.1002/j.1538-7305.1959.tb01585.x [25] A.Tay、P.Gribomont、J.Lui等人，《人工智能的逻辑方法》（Mir，莫斯科，1991）[俄语]。 [26] A.Kolmeroe、A.Kanui和M.Kanegem，《序言——理论基础和现代发展》，收录于《逻辑编程》（Mir，莫斯科，1988），第27–133页[俄语]。 [27] L.Stockmeyer，“问题计算复杂性的分类”，《符号逻辑杂志》52（1），1-43（1987）·Zbl 0639.03041号 ·doi:10.2307/2273858 [28] J.F.Groote和H.Zantema，“分辨率和二进制决策图不能相互多项式模拟”，J.Disc。申请。数学。130(2), 157–171 (2003). ·Zbl 1029.68129号 ·doi:10.1016/S0166-218X（02）00403-1 [29] D.Kocks、D.Little和D.Shi，《理想、流形和算法》（Mir，莫斯科，2000）[俄语]。 [30] R.G.Nigmatullin，布尔函数的复杂性（Nauka，莫斯科，1991）[俄语]·Zbl 0719.68024号 [31] L.G.Valiant，“枚举和可靠性问题的复杂性”，SIAM J.Compute。8(3), 410–421 (1979). ·Zbl 0419.68082号 ·数字对象标识代码：10.1137/0208032 [32] T.Cormen、Ch.Laserson和R.Rivest，《算法》。《建筑与分析》（MTsNMO，莫斯科，2001）[俄语]。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。