王晓峰;徐道云;杨德仁;姜久蕾;李强;刘新新 可满足性问题的置信传播算法的收敛性分析。 (中文。英文摘要) Zbl 1488.68084号 J.软件。 32,第5期,1360-1372(2021).MSC公司:68T20型 62H22个 68兰特 68周25 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}等人,J.Softw。32,编号5,1360--1372(2021;Zbl 1488.68084) 全文: 内政部
谭金浩;李国强 有界模型检查基本并行进程的活性。 (中文。英文摘要) Zbl 1463.68038号 J.软件。 31,第8期,2388-2403(2020).MSC公司:60年第68季度 03B44号 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Tan}和\textit{G.Li},J.Softw。31,第8号,2388--2403(2020;Zbl 1463.68038) 全文: 内政部
黄金贵;王胜春 \一类可分离SAT问题的(O(1.890^n)精确算法。 (中文。英文摘要) Zbl 1424.68150号 J.软件。 29,第12号,3595-3603(2018).MSC公司:68T20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Huang}和\textit{S.Wang},J.Softw。29,第12号,3595--3603(2018;Zbl 1424.68150) 全文: 内政部
林云国;李永明 外源量子马尔可夫链与可达性分析。 (中文。英文摘要) Zbl 1389.81011号 J.软件。 27,第12期,2994-3002(2016).MSC公司:81页68 2012年第68季度 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}和\textit{Y.Li},J.Softw。27,第12号,2994--3002(2016;Zbl 1389.81011) 全文: 内政部
周俊平;李瑞芝;曾志勇;尹明浩 用于解决#SMT问题的局部搜索算法。 (中文。英文摘要) Zbl 1374.68536号 J.软件。 27,第9期,2185-2198(2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhou}等人,J.Softw。27,第9号,2185--2198(2016;Zbl 1374.68536) 全文: 内政部
宋,傅;吴志林 对正式模型的调查,以推断无限数据值。 (中文。英文摘要) Zbl 1363.68093号 J.软件。 27,第3号,682-690(2016).MSC公司:65年第68季度 05年3月 68个P01 68-02 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{Z.Wu},J.Softw。27,第3号,682--690(2016;Zbl 1363.68093) 全文: 内政部
卢、徐;段振华;田聪 二维逻辑PPTL(^{mathrm{SL}})的可满足性检验。 (中文。英文摘要) Zbl 1363.68095号 J.软件。 27,第3号,670-681(2016).MSC公司:60年第68季度 03B44号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{X.Lu}等人,J.Softw。27,第3号,670--681(2016;Zbl 1363.68095) 全文: 内政部
张立明;丹东欧阳;赵毅 基于半可拓规则的定理证明分解算法。 (中文。英文摘要) Zbl 1349.68208号 J.软件。 26,第9期,2250-2261(2015).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,J.Softw。26,第9号,2250--2261(2015;Zbl 1349.68208) 全文: 内政部
王晓峰;徐道云;魏,李 随机可满足实例的警告传播算法的收敛性。 (中文。英文摘要) Zbl 1289.68150号 J.软件。 24,第1期,第1-11页(2013年).MSC公司:68T20型 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}等人,J.Softw。24,编号1,1--11(2013;Zbl 1289.68150) 全文: 内政部
尹明浩;周俊平;孙继贵;顾文祥 用于解决QBF问题的启发式调查传播算法。 (中文。英文摘要) Zbl 1265.68246号 J.软件。 22,第7期,1538-1550(2011).MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Yin}等人,J.Softw。22,第7号,1538--1550(2011;Zbl 1265.68246) 全文: 内政部
顾华茂;王勋;凌云;高,吉 确定具有完全析取范式群的\({\mathcal SH}OI{\mathcal N}(D)\)-可满足性。 (中文。英文摘要) Zbl 1240.68355号 J.软件。 第21期,第8期,1863-1877(2010).MSC公司:68T27型 68问题55 68层37 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.Gu}等人,J.Softw。211863-1877年第8期(2010年;Zbl 1240.68355) 全文: 内政部
张再岳;隋、岳飞;曹存根 基于模糊命题模态逻辑的形式化推理系统。 (英语) Zbl 1076.68093号 J.软件。 16,第8期,1359-1377(2005).MSC公司:68层37 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人,J.Softw。16,第8号,1359--1377(2005;Zbl 1076.68093)