×

找到63个文档(结果1-63)

使用布尔可满足性的可伸缩错误检测。 (英语) 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格式引用
全文: 内政部

求解时间上的最小权精确可满足性(O(2^{0.2441n}))。 (英语) Zbl 1175.68205号

邓晓铁(编辑)等,《算法与计算》。2005年12月19日至21日,第16届国际学术研讨会,中国海南三亚,ISAAC 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30935-7/pbk)。计算机科学课堂讲稿3827654-664(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

检查语言\(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格式引用
全文: 内政部

论模态逻辑片断的复杂性。 (英语) Zbl 1102.03018号

Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。249-268 (2005).
PDF格式BibTeX公司 XML格式引用

具有交集的命题动态逻辑的复杂度下限。 (英语) Zbl 1102.03035号

Schmidt,Renate(编辑)等人,《模态逻辑的进展》。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议(AiML 2004)上的论文选集。伦敦:国王学院出版物(ISBN 1-904987-22-2/pbk)。133-147 (2005).
PDF格式BibTeX公司 XML格式引用

完全召回的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格式引用

一些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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量化布尔公式的等效模型。 (英语) Zbl 1122.68471号

Hoos,Holger H.(编辑)等,可满足性测试的理论和应用。2004年5月10日至13日,加拿大不列颠哥伦比亚省温哥华市,2004年SAT第七届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-27829-X/pbk)。计算机科学课堂讲稿3542224-234(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于符号搜索的量化布尔公式方法。 (英语) 兹比尔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格式引用
全文: 内政部

关于一些加权可满足性和图问题。 (英语) Zbl 1117.68382号

Vojtáš,Peter(编辑)等人,《SOFSEM 2005:计算机科学的理论与实践》。2005年1月22日至28日,斯洛伐克利普托夫斯克·扬,第31届计算机科学理论与实践当前趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24302-X/pbk)。计算机科学课堂讲稿3381278-287(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明复杂性。 (英语) Zbl 1089.03050号

Ari Laptev(编辑),第四届欧洲数学大会(ECM)会议记录,瑞典斯德哥尔摩,2004年6月27日至7月2日。苏黎世:欧洲数学学会(EMS)(ISBN 3-03719-009-4/hbk)。221-231 (2005).
PDF格式BibTeX公司 XML格式引用

软件工程3。领域、需求和软件设计。 (英语) Zbl 1095.68022号

柏林:施普林格出版社(ISBN 3-540-21151-9/hbk)。xxx,766页。(2006年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者