手指,马塞洛;格劳贝尔·德博纳 概率可满足性:有无相变的算法。 (英语) Zbl 1347.68331号 安。数学。Artif公司。智力。 75,编号3-4,351-389(2015).MSC公司:68层37 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{G.De Bona},安.数学。Artif公司。智力。75,编号3--4,351--389(2015;Zbl 1347.68331) 全文: 内政部
比斯特拉·迪尔基纳;卡拉·戈麦斯。;阿什什·萨巴沃尔 可满足性后门复杂性的权衡:动态子解算器和搜索过程中的学习。 (英语) Zbl 1357.68205号 安。数学。Artif公司。智力。 70,第4期,399-431(2014).MSC公司:68T20型 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Dilkina}等人,《数学年鉴》。Artif公司。智力。70,第4号,399--431(2014;Zbl 1357.68205) 全文: 内政部
亚历克斯·格罗斯;克劳斯·哈弗伦德;杰拉尔德·霍尔兹曼;拉杰夫·乔希;徐如刚 建立飞行软件可靠性:测试、模型检查、约束解决、监控和学习。 (英语) Zbl 1298.68063号 安。数学。Artif公司。智力。 70,第4期,315-349(2014).MSC公司:68号30 76-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Groce}等人,《数学年鉴》。Artif公司。智力。70,第4号,315--349(2014;Zbl 1298.68063) 全文: 内政部
范·盖尔德,艾伦 产生并验证超大命题反驳。 (英语) Zbl 1273.68329号 安。数学。Artif公司。智力。 65,第4期,329-372(2012). 审核人:奈尔·扎莫夫(喀山) MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder},Ann.数学。Artif公司。智力。65,第4号,329--372(2012;Zbl 1273.68329) 全文: 内政部
Fadi A.阿卢尔。;阿拉提·拉马尼;伊戈尔·马尔科夫。;卡伦·萨卡拉。 布尔可满足性的动态对称破缺。 (英语) Zbl 1205.68366号 安。数学。Artif公司。智力。 57,第1期,59-73(2009).MSC公司:68T20型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{F.A.Aloul}等人,《数学年鉴》。Artif公司。智力。57,第1号,59--73(2009;Zbl 1205.68366) 全文: 内政部
罗伯特·马泰斯库;丽娜·德希特 混合确定性和概率性网络。 (英语) 兹比尔1176.68200 安。数学。Artif公司。智力。 54,编号1-3,3-51(2008).MSC公司:68T20型 68立方英尺 68层37 62层30 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{R.Dechter},《数学年鉴》。Artif公司。智力。54,编号1--3,3--51(2008;Zbl 1176.68200) 全文: 内政部 链接
恩里科·金西格里亚;尼古拉·利昂;马可·马拉提亚 关于答案集求解者之间的关系。 (英语) Zbl 1165.68333号 安。数学。Artif公司。智力。 53,编号1-4169-204(2008).MSC公司:68N17号 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《数学年鉴》。Artif公司。智力。53,编号1-4169-204(2008年;兹bl 1165.68333) 全文: 内政部
沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;弗朗西斯科·里卡 析取逻辑编程中的先行启发式。 (英语) Zbl 1138.68018号 安。数学。Artif公司。智力。 51,编号2-4,229-266(2007).MSC公司:68N17号 68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,《数学年鉴》。Artif公司。智力。51,编号2--4,229--266(2007;Zbl 1138.68018) 全文: 内政部
卡洛斯·安索特吉;何塞·拉鲁比亚;李楚敏;很多,费利普 在SAT求解器的变量选择启发式中利用多值知识。 (英语) 兹比尔1124.68102 安。数学。Artif公司。智力。 49,编号1-4191-205(2007).MSC公司:68T20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《数学年鉴》。Artif公司。智力。49,编号1--4,191-205(2007;Zbl 1124.68102) 全文: 内政部
Arieli,奥弗;马克·德内克;范·努费伦(Bert Van Nuffelen);莫里斯·布吕诺格 用符号公式修复数据库的计算方法。 (英语) Zbl 1097.68549号 安。数学。Artif公司。智力。 46,编号1-2,4-37(2006).MSC公司:第68页,共15页 68立方英尺 68层37 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}等人,《数学年鉴》。Artif公司。智力。46,编号1--2,4--37(2006;Zbl 1097.68549) 全文: 内政部
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 布尔电路表方法中的无限制切割与限制切割。 (英语) Zbl 1086.03048号 安。数学。Artif公司。智力。 44,第4期,373-399(2005).MSC公司:20层03 第68页第15页 68T20型 03B70号 94立方厘米10 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,《数学年鉴》。Artif公司。智力。44,第4号,373--399(2005;Zbl 1086.03048) 全文: 内政部
道格拉斯·岑泽;雷梅尔,杰弗里·B。;维克多·马雷克。 无限集逻辑编程。 (英语) Zbl 1086.68126号 安。数学。Artif公司。智力。 44,第4期,309-339(2005).MSC公司:68T27型 03B70号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Cenzer}等人,《数学年鉴》。Artif公司。智力。44,第4号,309--339(2005;Zbl 1086.68126) 全文: 内政部
DoRon B.莫特。;Jarrod A.罗伊。;伊戈尔·马尔科夫。 分辨率无法多项式模拟压缩的BFS。 (英语) Zbl 1099.68102号 安。数学。Artif公司。智力。 44,第1-2期,121-156(2005).MSC公司:68T20型 第68页第15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Motter}等人,《数学年鉴》。Artif公司。智力。44,第1-2121-156号(2005年;兹bl 1099.68102) 全文: 内政部
埃格利,乌韦;莱因哈德·皮克勒;斯特凡·沃尔特兰 关于决定包容问题。 (英语) 兹比尔1099.68095 安。数学。Artif公司。智力。 43,编号1-4,255-294(2005).MSC公司:第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{U.Egly}等人,Ann.Math。Artif公司。智力。43,编号1--4,255-294(2005;Zbl 1099.68095) 全文: 内政部
范·盖尔德,艾伦 在可满足性求解器中实现更精简的二进制子句推理。 (英语) Zbl 1099.68097号 安。数学。Artif公司。智力。 43,编号1-4,239-253(2005).MSC公司:第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder},Ann.数学。Artif公司。智力。43,编号1--4,239--253(2005;Zbl 1099.68097) 全文: 内政部
史蒂文·普雷斯特维奇;斯特芬省布列桑 中介系统中查询优化的SAT方法。 (英语) Zbl 1099.68103号 安。数学。Artif公司。智力。 43,编号1-4195-210(2005).MSC公司:68T20型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Prestwich}和\textit{S.Bressan},Ann。数学。Artif公司。智力。43,编号1--4,195-210(2005;Zbl 1099.68103) 全文: 内政部
林奇,因斯;佐奥·西尔瓦侯爵 用于回溯搜索SAT解算器的高效数据结构。 (英语) Zbl 1099.68025号 安。数学。Artif公司。智力。 43,编号1-4137-152(2005).MSC公司:68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Lynge}和\textit{J.Marques-Silva},安.数学。Artif公司。智力。43,编号1--4,137-152(2005;Zbl 1099.68025) 全文: 内政部 链接
爱德华·赫施。;阿里斯特·科耶夫尼科夫 UnitWalk:一个新的SAT解算器,使用由单位子句消除指导的局部搜索。 (英语) Zbl 1100.68621号 安。数学。Artif公司。智力。 43,编号1-4,91-111(2005).MSC公司:68T20型 03B05号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}和\textit{A.Kojevnikov},Ann.数学。Artif公司。智力。43,编号1--4,91-111(2005;Zbl 1100.68621) 全文: 内政部
尤金·戈德堡 通过计算稳定点集来测试CNF公式的可满足性。 (英语) Zbl 1099.68099号 安。数学。Artif公司。智力。 43,编号1-4,65-89(2005).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Goldberg},Ann.数学。Artif公司。智力。43,编号1--4,65-89(2005;Zbl 1099.68099) 全文: 内政部
弗朗西·布尔格勒;李、小余;马蒂亚斯·斯托尔曼。 关于SAT实例类和使用SAT解算器进行可靠性能实验的方法。 (英语) Zbl 1100.68575号 安。数学。Artif公司。智力。 43,第1-4、1-34号(2005).MSC公司:65年第68季度 68T20型 62号05 PDF格式BibTeX公司 XML格式引用 \textit{F.Brglez}等人,《数学年鉴》。Artif公司。智力。43,编号1--4,1-34(2005;Zbl 1100.68575) 全文: 内政部
林奇,因斯;Joáo P.塞尔瓦侯爵。 回溯搜索可满足性算法概述。 (英语) 兹比尔1010.68069 安。数学。Artif公司。智力。 37,第3期,307-326(2003).MSC公司:65年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{I.Lynge}和\textit{J.P.Marques-Silva},安.数学。Artif公司。智力。37,第3号,307--326(2003;Zbl 1010.68069) 全文: 内政部