×

找到63个文档（结果1-63）

最新的 引文 关联
阿明·科贾·奥格伦

随机约束满足问题。 （英语） Zbl 1456.68181号

Cooper，S.Barry（编辑）等人，《计算模型发展第五次研讨会——来自自然的计算模型》，希腊罗德斯，2009年7月11日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）9，32-37（2009）。
MSC公司：68T20型 第68季度87 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Coja-Oghlan}，电子。程序。西奥。计算。科学。（EPTCS）9，32-37（2009；Zbl 1456.68181）
全文： 链接
亚历山德罗·阿曼多;玛丽亚·保拉（Maria Paola Bonacina）;西尔维奥·兰伊斯;斯蒂芬·舒尔茨

基于重写的可满足性过程的新结果。 （英语） Zbl 1367.68243号

ACM事务处理。计算。日志。 10，第1号，第4条，51页（2009年）.
MSC公司：第68页第15页 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Armando}等人，ACM Trans。计算。日志。10，第1号，第4条，51页（2009年；Zbl 1367.68243）
全文： 内政部 arXiv公司
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;托马斯·瓦尔塞奇

基于轻量级SMT的模型检查。 （英语） Zbl 1335.68138号

Miller，Alice（编辑）等人，《第八届关键系统自动验证国际研讨会论文集》（AVoCS 2008），英国格拉斯哥，2008年9月30日至10月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第2期，85-102（2009）。
MSC公司：60年第68季度 68问题85 第68页第15页 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}等人，《电子》。理论注释。计算。科学。250，第2号，85-102（2009年；兹bl 1335.68138）
全文： 内政部
杜珊·瓦利卡

超图上下文中的可满足性测试。 （英语） Zbl 1193.05121号

Zadnik Stirn，Lidija（编辑）等人，SOR’09。诉讼程序。2009年9月23日至25日在斯洛文尼亚新戈里察举行的斯洛文尼亚第十届国际运筹学研讨会。卢布尔雅那：斯洛文尼亚信息学会（SDI），运筹学（SOR）（ISBN 978-961-6165-30-3/pbk）。93-99 (2009).
MSC公司：05C65号
PDF格式BibTeX公司 XML格式引用
\textit{D.Hvalica}，in：SOR'09。诉讼程序。2009年9月23日至25日在斯洛文尼亚新戈里察举行的第十届国际运筹学研讨会。卢布尔雅那：斯洛文尼亚信息学会（SDI），运筹学科（SOR）。93-99（2009年；Zbl 1193.05121）
杜珊·瓦利卡

超图与可满足性。 （英语） 兹比尔1193.05120

Zadnik Stirn，Lidija（编辑）等人，SOR’09。诉讼程序。2009年9月23日至25日在斯洛文尼亚新戈里察举行的斯洛文尼亚第十届国际运筹学研讨会。卢布尔雅那：斯洛文尼亚信息学会（SDI），运筹学（SOR）（ISBN 978-961-6165-30-3/pbk）。85-92 (2009).
MSC公司：05C65号
PDF格式BibTeX公司 XML格式引用
\textit{D.Hvalica}，in：SOR'09。诉讼程序。2009年9月23日至25日在斯洛文尼亚新戈里察举行的第十届国际运筹学研讨会。卢布尔雅那：斯洛文尼亚信息学会（SDI），运筹学科（SOR）。85-92（2009年；Zbl 1193.05120）
佩德罗·多明戈斯;丹尼尔·洛德
[杰西·戴维斯;Tuyen Huynh;斯坦利·科克;莉莉亚娜·米哈尔科娃;雷蒙德·穆尼（Raymond J.Mooney）。;阿尼鲁德·纳特;Poon，海丰;马修·理查森;辛格拉、帕拉格;马克·萨姆纳;王珏]

马尔可夫逻辑。人工智能的接口层。Jesse Davis、Tuyen Huynh、Stanley Kok、Lilyana Mihalkova、Raymond J.Mooney、Aniruddh Nath、Hoifung Poon、Matthew Richardson、Parag Singla、Marc Sumner和Jue Wang提供了捐款。 （英语） Zbl 1202.68403号

人工智能与机器学习综合讲座7.加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（ISBN 978-1-59829-692-1/pbk；978-1-599-29693-8/电子书）。ix，145页。(2009).
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：第68页第27页 68T05型 68-02
PDF格式BibTeX公司 XML格式引用
\textit{P.Domingos}和\textit{D.Lowd}，马尔可夫逻辑。人工智能的接口层。由Jesse Davis、Tuyen Huynh、Stanley Kok、Lilyana Mihalkova、Raymond J.Mooney、Anirudd Nath、Hoifung Poon、Matthew Richardson、Parag Singla、Marc Sumner和Jue Wang贡献。加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（2009；Zbl 1202.68403）
全文： 内政部
科恩·克莱森;伊恩，尼古拉斯;玛丽·希兰;尼古拉斯·Sörensson;阿列克谢·沃罗诺夫;克努特·奥凯森

SAT在实践中的解决，并以监督控制的教程为例。 （英语） Zbl 1180.93065号

离散事件动态。系统。 19，第4期，495-524（2009）.
MSC公司：93元65角 93甲13 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{K.Claessen}等人，《离散事件动力学》。系统。19，编号：495-524（2009年；兹bl 1180.93065）
全文： 内政部 链接
帕里克希特·戈帕兰;Phokion G.科莱蒂斯。;伊丽莎·曼内娃;克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。

布尔可满足性的连通性：计算和结构二分法。 （英语） 兹比尔1201.03024

SIAM J.计算。 38，第6期，2330-2355（2009）.
审核人：Gregory Loren McColm（坦帕）
MSC公司：2015年3月1日 03B05号 05C40号 2015年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gopalan}等人，SIAM J.Compute。38，第6号，2330--2355（2009；Zbl 1201.03024）
全文： 内政部
T.V.Thirumala，Reddy;克里希纳·D·赛;C.Pandu Rangan

保护问题——复杂性和近似性。 （英语） Zbl 1267.05198号

Fiala，Jiří（编辑）等人，《组合算法》。2009年6月28日至7月2日，第20届国际研讨会，IWOCA 2009，捷克共和国Hradec nad Moravicí。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-10216-5/pbk）。计算机科学课堂讲稿5874460-470（2009）。
MSC公司：05C69号 05第51页 05C85号 68周25
PDF格式BibTeX公司 XML格式引用
\textit{T.V.T.Reddy}等人，Lect。注释计算。科学。5874460-470（2009年；Zbl 1267.05198）
全文： 内政部
R·塞巴斯蒂亚尼。;M.韦斯科维。

通过SAT编码在模态和描述逻辑中进行自动推理：（K_m/mathcal{ALC}）-可满足性的案例研究。 （英语） Zbl 1180.68257号

J.阿蒂夫。智力。研究（JAIR） 35, 343-389 (2009).
MSC公司：第68页第27页 03B35型 03B45 第68页第15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.Sebastiani}和\textit{M.Vescovi}，J.Artif。智力。研究（JAIR）35，343--389（2009；Zbl 1180.68257）
全文： 内政部 arXiv公司
阿恩·迈尔;迈克尔·托马斯;赫里伯特沃尔默;马丁·蒙德亨克

CTL和CTL片段可满足性的复杂性。 （英语） Zbl 1186.68212号

发现的国际期刊。计算。科学。 2009年第5期第20期第901-918页; 勘误表同上26，第8号，1189-1190（2015）。
MSC公司：2017年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Meier}等人，国际期刊发现。计算。科学。20，第5号，901--918（2009；Zbl 1186.68212）
全文： 内政部
沃尔克·韦伯

关于分支时间逻辑的复杂性。 （英语） Zbl 1257.03043号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771530-545（2009）。
MSC公司：03B44号 05年3月 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Weber}，莱克特。注释计算。科学。5771、530--545（2009年；Zbl 1257.03043）
全文： 内政部 arXiv公司
詹斯·格罗斯

具有次线性零知识自变量的线性代数。 （英语） Zbl 1252.94068号

Halevi，Shai（编辑），《密码学进展——密码2009》。2009年8月16日至20日，第29届国际密码学年会，美国加利福尼亚州圣巴巴拉。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03355-1/pbk）。计算机科学讲座笔记5677192-208（2009）。
MSC公司：94A60 94A62型 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Groth}，莱克特。注释计算。科学。5677192-208（2009年；兹比尔1252.94068）
全文： 内政部
阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;迈克尔·托马斯;沃尔克·韦伯;费利克斯·韦斯

混合逻辑片段可满足性的复杂性。一、。 （英语） Zbl 1250.03036号

Králović，Rastislav（编辑）等人，《2009年计算机科学的数学基础》。2009年8月24-28日，斯洛伐克High Tatras，Novy Smokovec，第34届国际研讨会，MFCS 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03815-0/pbk）。计算机科学课堂讲稿5734587-599（2009）。
MSC公司：03B45 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Meier}等人，Lect。注释计算。科学。5734587--599（2009年；Zbl 1250.03036）
全文： 内政部
维克托·马雷克。

满足性数学导论。 （英语） 兹比尔1184.68001

查普曼和霍尔/CRC信息学研究系列。佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0167-3/hbk；978-1-439 8-0174-1/电子书）。xiii，350页。(2009).
审核人：加泰罗林·斯托安（克雷奥瓦）
MSC公司：68-01 03-01 03B05号 03B35型 03B70号 65年第68季度 第68页第15页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{V.W.Marek}，可满足性数学导论。佛罗里达州博卡拉顿：CRC出版社（2009；Zbl 1184.68001）
全文： 内政部 链接
克里斯·卡拉布罗;拉马莫汉·帕图里

\（k）-SAT并不比决策-唯一-（k）-SAT难。 （英语） Zbl 1248.68237号

Frid，Anna（编辑）等人，《计算机科学——理论与应用》。2009年8月18日至23日，在俄罗斯新西伯利亚举行的第四届国际计算机科学研讨会，CSR 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03350-6/pbk）。计算机科学讲座笔记5675，59-70（2009）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calabro}和\textit{R.Paturi}，莱克特。注释计算。科学。5675、59-70（2009年；Zbl 1248.68237）
全文： 内政部
保时捷、斯特凡;塔贾纳·施密特;埃瓦尔德·斯佩肯迈耶

关于混合Horn公式的某些方面。 （英语） Zbl 1247.68114号

Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，86-100（2009）。
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Porschen}等人，Lect。注释计算。科学。5584，86-100（2009年；Zbl 1247.68114）
全文： 内政部
R·德雷克斯勒。;Eggersglüß，S。;费伊，G。;蒂尔，D。

使用布尔证明引擎生成测试模式。 （英语） Zbl 1189.68029号

多德雷赫特：施普林格（ISBN 978-90-481-2359-9/hbk；978-90-4081-2360-5/电子书）。xii，192页。(2009).
MSC公司：68米99 68-02 68单位07 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Drechsler}等人，使用布尔证明引擎生成测试模式。多德雷赫特：施普林格（2009；Zbl 1189.68029）
全文： 内政部
迈克尔·鲍兰德;托马斯·施耐德;Henning施诺尔;伊尔卡·施诺尔;赫里伯特沃尔默

线性时序逻辑广义可满足性的复杂性。 （英语） Zbl 1183.03017号

日志。方法计算。科学。 5，第1期，论文1，21页（2009年）.
审核人：瓦伦丁·F·戈兰科（约翰内斯堡）
MSC公司：03B44号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bauland}等人，日志。方法计算。科学。5，第1号，论文1，21页（2009年；Zbl 1183.03017）
全文： 内政部
阿列克谢·穆拉维茨基。

经典逻辑中的满足与友好关系：证明论方法。 （英语） Zbl 1236.03012号

Bosch，Peter（编辑）等人，《逻辑、语言和计算》。第七届第比利斯逻辑、语言和计算国际研讨会，2007年第比利斯有限责任公司，2007年10月1日至5日，格鲁吉亚第比利斯。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00664-7/pbk）。计算机科学课堂讲稿5422。《人工智能课堂讲稿》，180-192年（2009年）。
MSC公司：03B05号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Y.Muravitsky}，莱克特。注释计算。科学。5422、180--192（2009年；Zbl 1236.03012）
全文： 内政部
斯特凡·格勒;马库斯·洛伊;卡斯滕，卢茨

具有交集和逆向的PDL：可满足性和无限状态模型检查。 （英语） Zbl 1181.03034号

J.塞姆。日志。 74，第1279-314号（2009年）.
审核人：罗杰·维尔梅尔（蒙特勒）
MSC公司：03B70号 05年3月 2017年第68季度 65年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Göller}等人，J.Symb。日志。74，第1号，279--314（2009；Zbl 1181.03034）
全文： 内政部
保时捷、斯特凡;塔贾纳·施密特

关于线性公式上的一些SAT-变分。 （英语） Zbl 1206.68151号

尼尔森，莫根斯（编辑）等人，《SOFSEM 2009：计算机科学的理论与实践》。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿540449-460（2009）。
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Porschen}和\textit{T.Schmidt}，莱克特。注释计算。科学。540449-460（2009年；Zbl 1206.68151）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件