谢、伊晨;艾肯,亚历克斯 使用布尔可满足性的可伸缩错误检测。 (英语) Zbl 1369.68162号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-830-X)。351-363 (2005).MSC公司:68号30 68甲15 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xie}和\textit{A.Aiken},摘自:第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'05,美国加利福尼亚州长滩,2005年1月12-14日。纽约州纽约市:计算机协会(ACM)。351-363(2005年;Zbl 1369.68162) 全文: 内政部
福特诺,兰斯;理查德·利普顿;迪特尔·范·梅尔凯贝克;阿纳斯塔西奥斯·维格拉斯 可满足性的时空下限。 (英语) Zbl 1326.68148号 美国临床医学杂志 52,第6期,835-865(2005).MSC公司:2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fortnow}等人,J.ACM 52,No.6,835--865(2005;Zbl 1326.68148) 全文: 内政部
斯利扬卡阿查里亚;阿米塔娃·巴基 解决员工调动问题的约束满足方法。 (英语) Zbl 1160.90500号 Opsearch(操作搜索) 42,第3期,179-198(2005).MSC公司:90B50型 90 C59 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Acharyya}和\textit{A.Bagchi},Opsearch 42,No.3,179--198(2005;Zbl 1160.90500) 全文: 内政部
邢,赵;张伟雄 MaxSolver:一种有效的(加权)最大可满足性精确算法。 (英语) Zbl 1132.68716号 Artif公司。智力。 164,编号1-2,47-80(2005).MSC公司:68T20型 65年第68季度 90C05(二氧化碳) 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xing}和\textit{W.Zhang},工件。智力。164,编号1--2,47-80(2005;Zbl 1132.68716) 全文: 内政部
亚当·科拉尼 Rado选择引理和其他组合语句得到一致证明。 (英语) Zbl 1117.03344号 牛市。第节。日志。,大学后勤部。 34,第3期,143-149(2005).MSC公司:03E25型 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},公牛。第节。日志。,大学后勤部。34,第3号,143--149(2005;Zbl 1117.03344)
约翰·桑顿 加权SAT本地搜索的条款。 (英语) Zbl 1109.68106号 J.自动化。推理 35,编号1-3,97-142(2005).MSC公司:68T20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.桑顿},J.奥托姆。推理35,No.1--3,97--142(2005;Zbl 1109.68106) 全文: 内政部 链接
斯泽德,斯特凡 DLL次溶器的后门装置。 (英语) Zbl 1109.68105号 J.自动化。推理 35,编号1-3,73-88(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Szeider},J.Autom。推理35,No.1--3,73-88(2005;Zbl 1109.68105) 全文: 内政部 链接
迈克尔·阿列克诺维奇;爱德华·赫施。;德米特里·伊特西克森 可满足公式上DPLL算法运行时间的指数下界。 (英语) Zbl 1109.68098号 J.自动化。推理 35,编号1-3,51-72(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alekhnovich}等人,J.Autom。推理35,No.1--3,51-72(2005;Zbl 1109.68098) 全文: 内政部
马可·波扎诺;罗伯托·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂安 米路径SAT:SAT和数学决策程序的紧密结合。 (英语) Zbl 1109.68101号 J.自动化。推理 35,编号1-3,265-293(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,J.Autom。推理35,No.1--3,265--293(2005;Zbl 1109.68101) 全文: 内政部
安德烈亚斯·梅耶;沃尔克·索尔格 SAT求解在有限代数分类中的应用。 (英语) Zbl 1109.68103号 J.自动化。推理 35,编号1-3,201-235(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}和\textit{V.Sorge},J.Autom。推理35,No.1--3,201-235(2005;Zbl 1109.68103) 全文: 内政部 链接
保时捷、斯特凡 求解时间上的最小权精确可满足性(O(2^{0.2441n}))。 (英语) Zbl 1175.68205号 邓晓铁(编辑)等,《算法与计算》。2005年12月19日至21日,第16届国际学术研讨会,中国海南三亚,ISAAC 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30935-7/pbk)。计算机科学课堂讲稿3827654-664(2005)。MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.保时捷},莱克特。注释计算。科学。3827654--664(2005年;Zbl 1175.68205) 全文: 内政部
Kryvyj,S.L。;Chebotarev,A.N。 检查语言\(L\)中用析取范式表示的公式的可满足性。一、。 (英语。俄文原件) Zbl 1102.68646号 赛博。系统。分析。 41,第4期,494-499(2005); 翻译自Kibern。修女。分析。2005年,第4期,22-28(2005)。MSC公司:第68页第15页 68周05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyj}和\textit{A.N.Chebotarev},Cybern。系统。分析。41,No.4,494--499(2005;Zbl 1102.68646);翻译自Kibern。修女。分析。2005年,第4期,22--28(2005) 全文: 内政部
加里·科钦伯格;格洛弗,弗雷德;巴赫拉姆·阿利达伊;凯伦·刘易斯 使用无约束二次规划对Max 2-SAT问题进行建模和求解。 (英语) Zbl 1100.90059号 国际期刊运营。物件。 1,编号1-2,89-100(2005).MSC公司:90 C59 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.Kochenberger}等人,国际期刊Oper。决议1,编号1--2,89-100(2005;Zbl 1100.90059)
林安阮 论模态逻辑片断的复杂性。 (英语) Zbl 1102.03018号 Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。249-268 (2005).MSC公司:03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{Linh Anh Nguyen},in:模态逻辑的进展。第5卷。第五届会议论文选集(AiML 2004),英国曼彻斯特,2004年9月9日至11日。伦敦:国王学院出版。249--268(2005;Zbl 1102.03018)
马丁·兰格 具有交集的命题动态逻辑的复杂度下限。 (英语) Zbl 1102.03035号 Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。133-147 (2005).MSC公司:03B70号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},in:模态逻辑的进展。第5卷。第五届会议论文选集(AiML 2004),英国曼彻斯特,2004年9月9日至11日。伦敦:国王学院出版。133-147(2005;Zbl 1102.03035)
塔帕尼·海蒂宁;图伦海莫,泰罗 完全召回的IF模态逻辑的判定性。 (英语) Zbl 1102.03016号 Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。111-131 (2005).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hyttinen}和\textit{T.Tulenheimo},in:模态逻辑的进展。第5卷。第五届会议论文选集(AiML 2004),英国曼彻斯特,2004年9月9日至11日。伦敦:国王学院出版。111-131(2005;Zbl 1102.03016)
安娜·戈莫林斯卡 近似空间中公式和公式集的可满足性和意义。 (英语) Zbl 1096.68148号 芬丹。通知。 67,编号1-3,77-92(2005).MSC公司:68层37 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gomoliáska},芬丹。通知。67,编号1--3,77-92(2005;Zbl 1096.68148)
乔尔·弗里德曼;安德烈亚斯·戈德;迈克尔·克里夫利维奇 有效识别更多不可满足的随机SAT实例。 (英语) Zbl 1090.05064号 SIAM J.计算。 35,编号2408-430(2005).MSC公司:05C80号 68卢比 34升15 34L20码 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Friedman}等人,SIAM J.Compute。35,编号2408-430(2005年;兹bl 1090.05064) 全文: 内政部
莫罗·加塔利 有限和物理模型。 (英语) Zbl 1091.03003号 圣母院J.形式逻辑 46,第4期,425-437(2005). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gattari},圣母院J.形式逻辑46,No.4,425--437(2005;Zbl 1091.03003) 全文: 内政部
彼得·辛图拉 哥德尔逻辑中的两个紧性概念。 (英语) Zbl 1098.03031号 螺柱日志。 81,第1期,99-123(2005). 审核人:Albert Hoogewijs(性别) MSC公司:03B50号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula},研究日志。81,第1号,99-123(2005;Zbl 1098.03031) 全文: 内政部
阿古佐利,S。;B·格拉。;Z.哈尼科娃。 基本逻辑中的复杂性问题。 (英语) Zbl 1093.03010号 软计算。 9,第12号,919-934(2005).MSC公司:03B52号 03B50号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Aguzzoli}等人,《软计算》。9,编号12919-934(2005年;兹bl 1093.03010) 全文: 内政部
达尼尔·马克思 约束满足问题的参数化复杂性。 (英语) Zbl 1085.68068号 计算。复杂性 14,第2期,153-183(2005).MSC公司:65年第68季度 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Marx},计算。复杂性14,No.2,153--183(2005;Zbl 1085.68068) 全文: 内政部
沈海鸥;张汉涛 改进MAX-2-SAT的精确算法。 (英语) Zbl 1086.68058号 安。数学。Artif公司。智力。 44,第4期,419-436(2005).MSC公司:65年第68季度 68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.Shen}和\textit{H.Zhang},Ann.Math。Artif公司。智力。44,第4号,419--436(2005;Zbl 1086.68058) 全文: 内政部
马蒂·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) 全文: 内政部
约翰·佛朗哥 可满足性算法的典型案例复杂性和阈值现象。 (英语) Zbl 1101.68838号 离散应用程序。数学。 153,编号1-3,89-123(2005).MSC公司:68T20型 68周05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Franco},离散应用程序。数学。153,编号1--3,89-123(2005;Zbl 1101.68838) 全文: 内政部
纳迪亚·克里诺;埃尔维·多德;约翰·佛朗哥 可重命名的Horn和\(q \)-Horn属性的一个尖锐阈值。 (英语) Zbl 1105.68096号 离散应用程序。数学。 153,编号1-3,48-57(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}等人,《离散应用》。数学。153,编号1--3,48-57(2005;Zbl 1105.68096) 全文: 内政部
亚当·比彻姆;约瑟夫·卡尔伯森 关于未冻结问题的复杂性。 (英语) Zbl 1085.68065号 离散应用程序。数学。 153,编号1-3,3-24(2005).MSC公司:65年第68季度 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Beacham}和\textit{J.Culberson},离散应用。数学。153,编号1--3,3--24(2005;Zbl 1085.68065) 全文: 内政部
迪特尔·范·梅尔凯贝克;兰·拉兹 可满足性的时间下限。 (英语) Zbl 1090.68049号 西奥。计算。科学。 348,编号2-3,311-320(2005).MSC公司:2017年第68季度 2005年第68季度 2010年第68季度 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.van Melkebeek}和\textit{R.Raz},Theor。计算。科学。348,编号2--3,311--320(2005;Zbl 1090.68049) 全文: 内政部
保时捷、斯特凡;埃瓦尔德·斯佩肯迈耶 一些NP-完全修正Horn-SAT问题的最坏情况边界。 (英语) Zbl 1122.68614号 Hoos,Holger H.(编辑)等,可满足性测试的理论和应用。2004年5月10日至13日,加拿大不列颠哥伦比亚省温哥华市,2004年SAT第七届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-27829-X/pbk)。计算机科学课堂讲稿3542,251-262(2005)。MSC公司:68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}和\textit{E.Speckenmeyer},莱克特。注释计算。科学。3542,251--262(2005;Zbl 1122.68614) 全文: 内政部
汉斯·克莱恩·勃宁;赵西顺 量化布尔公式的等效模型。 (英语) Zbl 1122.68471号 Hoos,Holger H.(编辑)等,可满足性测试的理论和应用。2004年5月10日至13日,加拿大不列颠哥伦比亚省温哥华市,2004年SAT第七届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-27829-X/pbk)。计算机科学课堂讲稿3542224-234(2005)。MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},Lect。注释计算。科学。3542,224--234(2005;Zbl 1122.68471) 全文: 内政部
吉尔·奥德玛;拉赫达尔·塞伊斯 基于符号搜索的量化布尔公式方法。 (英语) 兹比尔1128.68451 Bacchus,Fahiem(编辑)等,可满足性测试的理论和应用。2005年6月19日至23日在英国圣安德鲁斯举行的2005年SAT第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26276-8/pbk)。计算机科学课堂讲稿356916-30(2005)。MSC公司:68T20型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}和\textit{L.Sais},莱克特。注释计算。科学。3569,16--30(2005年;Zbl 1128.68451) 全文: 内政部
尼古拉斯五世·萨希尼迪斯。;莫希特·塔瓦马拉尼 通过针对松弛特定约束的建模语言构造加速分支绑定。 (英语) Zbl 1080.90087 环球杂志。最佳方案。 32,第2期,259-280(2005).MSC公司:90C57型 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Sahinidis}和\textit{M.Tawarmalani},J.Glob。最佳方案。32,第2号,259--280(2005;Zbl 1080.90087) 全文: 内政部
保时捷、斯特凡 关于一些加权可满足性和图问题。 (英语) Zbl 1117.68382号 Vojtáš,Peter(编辑)等人,《SOFSEM 2005:计算机科学的理论与实践》。2005年1月22日至28日,斯洛伐克利普托夫斯克·扬,第31届计算机科学理论与实践当前趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24302-X/pbk)。计算机科学课堂讲稿3381278-287(2005)。MSC公司:65年第68季度 2017年第68季度 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{S.保时捷},莱克特。注释计算。科学。3381278--287(2005年;Zbl 1117.68382) 全文: 内政部
埃利泽·洛津斯基。 另一个视角是相变现象。 (英语) Zbl 1101.68843号 J.实验理论。Artif公司。智力。 17,第3期,243-266(2005).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lozinskii},J.Exp.Theor。Artif公司。智力。17,第3号,243--266(2005;Zbl 1101.68843) 全文: 内政部
威尔·马雷罗 使用BDD决定CTL。 (英语) Zbl 1087.68057号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440222-236(2005)。MSC公司:60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.Marrero},莱克特。注释计算。科学。3440,222--236(2005;Zbl 1087.68057) 全文: 内政部
张再岳;隋、岳飞;曹存根 基于模糊命题模态逻辑的形式化推理系统。 (英语) 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)
简·克拉契克 证明复杂性。 (英语) Zbl 1089.03050号 Ari Laptev(编辑),第四届欧洲数学大会(ECM)会议记录,瑞典斯德哥尔摩,2004年6月27日至7月2日。苏黎世:欧洲数学学会(EMS)(ISBN 3-03719-009-4/hbk)。221-231 (2005). 审核人:M.Yasuhara(普林斯顿) MSC公司:20层03 03-01 03-02 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck},in:第四届欧洲数学大会(ECM)会议记录,瑞典斯德哥尔摩,2004年6月27日-7月2日。苏黎世:欧洲数学学会(EMS)。221-231(2005年;兹bl 1089.03050)
伊恩·普拉特·哈特曼 带有计数量词的双变量片段的复杂性。 (英语) Zbl 1082.03007号 J.逻辑语言信息。 14,第3期,369-395(2005).MSC公司:03秒20 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},J.Logic Lang.Inf.14,No.3,369--395(2005;Zbl 1082.03007) 全文: 内政部
斯特凡·德姆里;汉斯·德·尼维尔 通过一阶逻辑用逆确定正则语法逻辑。 (英语) Zbl 1083.03023号 J.逻辑语言信息。 14,第3期,289-329(2005).MSC公司:03B45号 2012年第68季度 03B25号 03秒20 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{H.de Nivelle},J.Logic Lang.Inf.14,No.3,289--329(2005;Zbl 1083.03023) 全文: 内政部 arXiv公司
10个Cate,Balder;马西莫·弗朗西切特 用常量保护碎片。 (英语) Zbl 1080.03002号 J.逻辑语言信息。 14,第3期,281-288(2005).MSC公司:03秒20 03B25号 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.ten Cate}和\textit{M.Franceschet},J.Logic Lang.Inf.14,No.3,281--288(2005;Zbl 1080.03002) 全文: 内政部
约翰·范·本特姆 保护、边界和广义语义。 (英语) Zbl 1080.03003号 J.逻辑语言信息。 14,第3期,263-279(2005).MSC公司:03秒20 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},J.Logic Lang.Inf.14,No.3,263--279(2005;Zbl 1080.03003) 全文: 内政部
哈米德·哈塔米;侯赛因·马塞拉特 关于定义集合的计算复杂性。 (英语) Zbl 1083.68049号 离散应用程序。数学。 149,编号1-3,101-110(2005).MSC公司:65年第68季度 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatami}和\textit{H.Maserrat},离散应用程序。数学。149,编号1-3101-110(2005年;兹bl 1083.68049) 全文: 内政部 arXiv公司
乔佩克,Ondřej;彼得·库切拉 具有多项式识别和SAT测试的已知和新的广义Horn公式类。 (英语) Zbl 1101.68087号 离散应用程序。数学。 149,编号1-3,14-52(2005).MSC公司:68T20型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Coepek}和\textit{P.Kučera},离散应用程序。数学。149,第1-3、14-52号(2005年;兹bl 1101.68087) 全文: 内政部
卡斯滕·卢茨;乌尔里克·萨特勒;利迪亚·坦德拉 描述逻辑中有限模型推理的复杂性。 (英语) Zbl 1097.03022号 Inf.计算。 199,第1-2号,第132-171页(2005年).MSC公司:03B70号 2015年3月1日 2017年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人,《信息计算》。199,编号1--2,132-171(2005;Zbl 1097.03022) 全文: 内政部
苏米特·古尔瓦尼;Necula,George C。 算术符号和未解释函数符号的随机可满足性过程。 (英语) Zbl 1078.68158号 Inf.计算。 199,第1-2号,107-131(2005).MSC公司:68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{S.Gulwani}和\textit{G.C.Necula},Inf.Compute。199,编号1--2,107-131(2005;Zbl 1078.68158) 全文: 内政部
宫城、琉璃;松井富美 一种多项式时间算法,用于寻找公平的主客场分配。 (英语) Zbl 1177.90175号 操作。Res.Lett公司。 33,第3期,235-241(2005).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Miyashiro}和\textit{T.Matsui},Oper。Res.Lett公司。33,第3号,235--241(2005;Zbl 1177.90175) 全文: 内政部
莫纳尔多·马斯特罗利利;卢卡·玛丽亚·甘巴黛拉 最大可满足性:禁忌搜索和高原移动在最坏情况下的表现如何? (英语) Zbl 1066.90048号 欧洲药典。物件。 166,第1期,63-76(2005).MSC公司:90B40码 90C60型 90 C59 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Mastrolilli}和\textit{L.M.Gambardela},欧洲期刊Oper。第166号决议,第1、63--76号(2005年;Zbl 1066.90048) 全文: 内政部
汉斯·范马伦;琳达·范诺登 固定密度随机3-CNF实例的Horn分数、可满足性和求解器性能之间的相关性。 (英语) Zbl 1099.68104号 安。数学。Artif公司。智力。 44,第1-2号,157-177(2005).MSC公司:68T20型 第68页第15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.van Maaren}和\textit{L.van Norden},Ann.数学。Artif公司。智力。44,编号1--2,157-177(2005;Zbl 1099.68104) 全文: 内政部
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) 全文: 内政部
丹尼尔·普雷托拉尼 概率逻辑和优化SAT:PSAT和CPA模型。 (英语) Zbl 1075.68086号 安。数学。Artif公司。智力。 43,编号1-4,211-221(2005).MSC公司:68T20型 03B48号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Pretolani},Ann.数学。Artif公司。智力。43,编号1--4,211-221(2005;Zbl 1075.68086) 全文: 内政部
保时捷、斯特凡;伯特·兰德拉斯;埃瓦尔德·斯佩肯迈耶 精确3-可满足性在时间上是可判定的(O(2^{0.16254 n})。 (英语) Zbl 1099.68042号 安。数学。Artif公司。智力。 43,编号1-4173-193(2005).MSC公司:65年第68季度 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}等人,《数学年鉴》。Artif公司。智力。43,编号1--4,173-193(2005;Zbl 1099.68042) 全文: 内政部
西蒙娜·科科;雷米·莫纳森 Davis-Putnam-Loveland-Logemann算法的重启和指数加速:随机3-SAT的广义单位子句启发式的大偏差分析。 (英语) Zbl 1100.68576号 安。数学。Artif公司。智力。 43,编号1-4153-172(2005).MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cocco}和\textit{R.Monasson},安.数学。Artif公司。智力。43,编号1--4,153-172(2005;Zbl 1100.68576) 全文: 内政部 arXiv公司
林奇,因斯;佐奥·西尔瓦侯爵 用于回溯搜索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) 全文: 内政部
菲利普·查德莱恩;纳迪亚·克里诺 布尔约束满足局部搜索问题的复杂性。 (英语) Zbl 1099.68033号 安。数学。Artif公司。智力。 43,编号1-4,51-63(2005).MSC公司:2015年第68季度 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Chapdelaine}和\textit{N.Creignou},Ann.数学。Artif公司。智力。43,编号1--4,51-63(2005;Zbl 1099.68033) 全文: 内政部
布鲁尼,雷纳托 关于最小不可满足子公式的精确选择。 (英语) Zbl 1099.68105号 安。数学。Artif公司。智力。 43,编号1-4,35-50(2005).MSC公司:68T27型 65年第68季度 第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni},Ann.数学。Artif公司。智力。43,编号1--4,35-50(2005;Zbl 1099.68105) 全文: 内政部
弗朗西·布尔格勒;李、小余;马蒂亚斯·斯托尔曼。 关于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) 全文: 内政部
米盖尔·安霍斯(Miguel F.Anjos)。 可满足性问题的改进半定规划松弛法。 (英语) Zbl 1059.90117号 数学。程序。 102,第3(A)号,589-608(2005).MSC公司:90C22型 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Anjos},数学。程序。102,第3号(A),589--608(2005;Zbl 1059.90117) 全文: 内政部 链接
比约纳,迪内斯 软件工程3。领域、需求和软件设计。 (英语) Zbl 1095.68022号 柏林:施普林格出版社(ISBN 3-540-21151-9/hbk)。xxx,766页。(2006年)。 审核人:都铎·巴勒内斯库(皮特斯蒂) MSC公司:68号30 68甲15 68N20型 第68季度第65季度 第68季度第45季度 68问题85 68-01 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner},软件工程3。领域、需求和软件设计。柏林:施普林格(2005年;Zbl 1095.68022)
巴哈雷赫巴德班;范德波尔(Jaco van de Pol) BDD中的零、继承和平等。 (英语) Zbl 1064.03009号 Ann.纯粹应用。逻辑 133,编号1-3,101-123(2005).MSC公司:03秒20 03B25号 03B35型 第68页第15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol},Ann.Pure Appl。逻辑133,编号1--3,101-123(2005;Zbl 1064.03009) 全文: 内政部 链接
杰斯珀·马克霍尔姆·拜斯科夫;博莱特·阿米茨博尔·马德森;比亚克·斯科耶纳 精确可满足性的新算法。 (英语) Zbl 1070.68049号 西奥。计算。科学。 332,编号1-3,515-541(2005).MSC公司:65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Byskov}等人,Theor。计算。科学。332,编号1--3,515--541(2005;Zbl 1070.68049) 全文: 内政部
维尔姆·达尔霍夫;彼得·琼森;瓦尔斯特伦,马格纳斯 2SAT和3SAT公式的计数模型。 (英语) Zbl 1070.68050号 西奥。计算。科学。 332,编号1-3,265-291(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Dahllöf}等人,Theor。计算。科学。332,编号1--3,265--291(2005;Zbl 1070.68050) 全文: 内政部