×

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

最新 引文 关联
Phan，Quoc-Sang先生

作为DPLL模理论的符号执行。 （英语） Zbl 1427.68050号

Neykova，Rumyana（编辑）等人，2014年帝国理工学院计算机学生研讨会，ICCSW’14，英国伦敦，2014年9月25日至26日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。OASIcs–OpenAccess服务器。通知。43, 58-65 (2014).
MSC公司：68号30 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Q.-S.Phan}，OASIcs--OpenAccess服务器。通知。43，58-65（2014年；兹bl 1427.68050）
全文： 内政部
埃里克·奎盖贝尔

一种命题CONEstrip算法。 （英语） Zbl 1456.68182号

Laurent，Anne（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。2014年7月15日至19日，第15届国际会议，IPMU 2014，法国蒙彼利埃。诉讼程序。第三部分查姆：斯普林格。Commun公司。计算。信息科学。444, 466-475 (2014).
MSC公司：68T20型 68层37 90立方厘米27
PDF格式BibTeX公司 XML格式引用
\textit{E.Quaeghebeur}，社区。计算。信息科学。444466-475（2014年；Zbl 1456.68182）
全文： 内政部 链接
瓦伦丁·戈兰科;Steen背心

交替时间时序逻辑片段中可满足性的最优决策程序。 （英语） Zbl 1385.03013号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。234-253 (2014).
MSC公司：03B44号 68T27型 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{V.Goranko}和\textit{S.Vester}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。234--253（2014；Zbl 1385.03013）
瓦利德·贝尔基尔;吉塞拉·罗西;迈克尔·鲁西诺维奇

参数化命题动态逻辑及其在服务综合中的应用。 （英语） Zbl 1385.03034号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。34-53 (2014).
MSC公司：03B70号 03B45号 68T27型 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{W.Belkhir}等人，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。34-53（2014；Zbl 1385.03034）
莱恩·威廉姆斯

更快地确定一阶图属性。 （英语） 兹比尔1394.68192

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-1-4503-2886-9）。第80号论文，第6页（2014年）。
MSC公司：第68季度25 03B10号机组 05C85号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛R.Williams｝，在：2014年7月14日至18日，奥地利维也纳，2014年7月14日至18日，第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第80号论文，第6页（2014；Zbl 1394.68192）
全文： 内政部
Pratt Hartmann，伊恩

具有计数和等价性的逻辑。 （英语） 兹比尔1394.03012

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-1-4503-2886-9）。第76号论文，第10页（2014年）。
MSC公司：03B20型 03B25号 2017年第68季度 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{I.Pratt-Hartmann}，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第76号论文，10页（2014；Zbl 1394.03012）
全文： 内政部
维托尔德·查拉托尼克;伊曼纽尔·基伦斯基;菲利普·马佐维耶基

具有确定性传递闭包的弱逻辑的可判定性。 （英语） Zbl 1394.03015号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-1-4503-2886-9）。第29号论文，第10页（2014年）。
MSC公司：03B25号 03B20型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Charatonik}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第29号文件，第10页（2014年；兹bl 1394.03015）
全文： 内政部
詹姆斯兄弟斯顿;卡斯滕·福斯;佩雷斯，胡安·纳瓦罗;尼科斯·戈罗甘尼斯

带有归纳谓词的分离逻辑中的可满足性判定过程。 （英语） Zbl 1401.68111号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-1-4503-2886-9）。第25号论文，第10页（2014年）。
MSC公司：第68季度25 03B25号 03B70号 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Brotherston}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第25号文件，第10页（2014年；Zbl 1401.68111）
全文： 内政部
莱恩·威廉姆斯

电路算法和算法电路：将易处理和难处理联系起来。 （英语） Zbl 1373.68246号

Jang，Sun Young（编辑）等人，《国际数学家大会会议记录》（ICM 2014），韩国首尔，2014年8月13日至21日。第四卷：特邀讲座。首尔：KM Kyung Moon Sa（ISBN 978-89-6105-807-0/hbk；978-89-6 105-803-2/套）。659-682 (2014).
MSC公司：2017年第68季度 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{R.Williams}，收录于：国际数学家大会（ICM 2014），韩国首尔，2014年8月13日至21日。第四卷：特邀讲座。首尔：KM Kyung Moon Sa.659-682（2014；Zbl 1373.68246）
文凯特桑·古鲁斯瓦米;Lee，Euiwoong先生

用平衡/硬约束近似CSP的复杂性。 （英语） Zbl 1364.68229号

2014年1月11日至14日，美国新泽西州普林斯顿市ITCS’14第五届理论计算机科学创新会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2243-0）。439-448 (2014).
MSC公司：第68季度25 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Guruswami}和\textit{E.Lee}，《第五届理论计算机科学创新会议论文集》，ITCS’14，美国新泽西州普林斯顿，2014年1月11-14日。纽约州纽约市：计算机协会（ACM）。439--448（2014年；Zbl 1364.68229）
全文： 内政部
宋，傅;吴志林

用数据变量量化扩展时序逻辑。 （英语） Zbl 1360.68600号

Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，253-265（2014）。
MSC公司：60年第68季度 03B25号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{F.Song}和\textit{Z.Wu}，LIPIcs——莱布尼茨国际程序。通知。29253--265（2014年；Zbl 1360.68600）
全文： 内政部
铃木Tamaki;Yuichi Yoshida

时间CSP的稳健近似。 （英语） Zbl 1359.68144号

Jansen，Klaus（编辑）等，近似、随机化和组合优化。算法和技术。2014年9月4日至6日，西班牙巴塞罗那加泰罗尼亚政治大学，第17届组合优化问题近似算法国际研讨会（APPROX 2014）和第18届随机化与计算国际研讨会（RANDOM 2014）论文集。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-74-3）。LIPIcs–莱布尼茨国际信息学论文集28，419-432（2014）。
MSC公司：第68季度25 2017年第68季度 68瓦25
PDF格式BibTeX公司 XML格式引用
\textit｛S.Tamaki｝和\textit｛Y.Yoshida｝，LIPIcs——莱布尼茨国际期刊。通知。28419--432（2014；Zbl 1359.68144）
全文： 内政部
尼尔·德·博德拉普

2-quantum-SAT计数问题的困难实例非常不典型。 （英语） Zbl 1359.68087号

Flammia，Steven T.（ed.）等人，第9届量子计算、通信和密码学理论会议，TQC 2014，新加坡，2014年5月21-23日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-73-6）。LIPIcs–莱布尼茨国际信息学论文集27，118-140（2014）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.De Beaudrap}，LIPIcs——莱布尼茨国际程序。通知。27118-140（2014年；兹比尔1359.68087）
全文： 内政部 arXiv公司
沃尔特·卡尼埃利;玛丽亚娜·马图洛维奇

多项式格式的非确定性语义。 （英语） Zbl 1335.03012号

Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305、19-34，仅电子版（2014）。
MSC公司：03B35型 03B50号 2006年11月 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.Carnielli}和\textit{M.Matulovic}，电子。注释Theor。计算。科学。305、19-34（2014；Zbl 1335.03012）
全文： 内政部
塞瓦格·加里比安;黄，Yichen;泽夫·兰道;Shin，Seung Woo先生

量子哈密顿复杂性。 （英语） Zbl 1329.68117号

已找到。趋势理论。计算。科学。 10，第3期，159-282（2014）.
审核人：安德烈亚斯·维切特（萨尔沃港）
MSC公司：2012年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit｛S.Gharibian｝等人，发现。趋势理论。计算。科学。10，第3号，159--282（2014；Zbl 1329.68117）
全文： 内政部 arXiv公司
艾哈迈德·马赫迪;马丁·范策尔

随机可满足模理论问题的广义Craig插值。 （英语） Zbl 1448.68308号

Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8762, 203-215 (2014).
MSC公司：60年第68季度 03C40号 65年第68季度 87年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Mahdi}和\textit{M.Fränzle}，莱克特。注释计算。科学。8762203-215（2014；Zbl 1448.68308）
全文： 内政部
戴尔、霍尔格;Van Melkebeek，迪特

满足性不允许非平凡的稀疏化，除非多项式时间层次结构崩溃。 （英语） Zbl 1321.68274号

J.ACM公司 第61号第4条第23条第27页（2014年）.
MSC公司：2015年第68季度 05C70号 05C65号 2017年第68季度 第68季度25 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Dell｝和\textit｛D.Van Melkebeek｝，J.ACM 61，第4号，第23号文章，第27页（2014；Zbl 1321.68274）
全文： 内政部 链接
丁、健;艾伦·斯利;太阳、耐克

随机正则NAE-SAT的可满足阈值。 （英语） Zbl 1315.68148号

2014年5月31日至6月3日，美国纽约州纽约市STOC’14第46届ACM计算理论年会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2710-7）。814-822 (2014).
MSC公司：第68季度25 2017年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ding}等人，《第46届ACM计算理论研讨会论文集》，STOC’14，美国纽约州纽约市，2014年5月31日至6月3日。纽约州纽约市：计算机协会（ACM）。814--822（2014；Zbl 1315.68148）
全文： 内政部 arXiv公司 链接
苏，武藏;丹尼尔·勒贝雷;圣埃芬尼罗塞尔;穆苏诺里·班巴拉;田村直之

哈密顿循环问题的基于SAT的增量方法，带有本地布尔基数处理。 （英语） Zbl 1432.68420号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 684-693 (2014).
MSC公司：68T20型 05C38号 68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{T.Soh}等人，Lect。注释计算。科学。8761、684--693（2014年；Zbl 1432.68420）
全文： 内政部
马丁·格布瑟;汤米·詹胡宁;尤西·林塔南

SAT模图：无环性。 （英语） Zbl 1432.68328号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 137-151 (2014).
MSC公司：68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。8761137-151（2014年；兹bl 1432.68328）
全文： 内政部
段振华;田聪;张楠

命题投影时序逻辑的范式表达。 （英语） Zbl 1423.68278号

蔡志鹏（编辑）等，《计算与组合学》。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8591, 84-93 (2014).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。8591，84-93（2014；Zbl 1423.68278）
全文： 内政部
乔什·伯丁;尼古拉·比约纳

通过基于SMT的分区求精计算所有隐含等式。 （英语） 兹比尔1423.68408

Demri，Stéphane（编辑）等人，《自动推理》。2014年7月19日至22日，第七届国际联合会议（IJCAR 2014）在奥地利维也纳举行，作为维也纳逻辑之夏的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8562, 168-183 (2014).
MSC公司：68吨15 03B35型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Berdine｝和\textit｛N.Bjørner｝，Lect。注释计算。科学。8562、168--183（2014年；Zbl 1423.68408）
全文： 内政部
阿尼迪塔·班纳吉;阿尼尔班·帕塔克;杰哈德·杜克（Gerhard W.Dueck）。

可逆序列元件的最小设计。 （英语） Zbl 1417.94128号

Yamashita、Shigeru（编辑）等，《可逆计算》。2014年7月10日至11日，第六届国际会议，RC 2014，日本京都。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8507, 137-148 (2014).
MSC公司：94立方厘米 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}等人，Lect。注释计算。科学。8507，137--148（2014；Zbl 1417.94128）
全文： 内政部
阿洛奇，大卫;安德烈，伊莎贝尔;苏菲·芭比;杰西卡·戴维斯;西蒙·德·吉夫里;乔治·卡特西雷洛斯;巴里·奥沙利文;史蒂夫·普雷斯特维奇;托马斯·希克斯;塞杜·特拉奥雷

计算蛋白质设计是一个优化问题。 （英语） Zbl 1407.92099号

Artif公司。智力。 212, 59-79 (2014).
MSC公司：92D20型 68T20型 90立方厘米 90C20个
PDF格式BibTeX公司 XML格式引用
\textit{D.Allouche}等人，Artif。智力。212、59--79（2014年；Zbl 1407.92099）
全文： 内政部
伯恩德·斯坦巴赫;克里斯蒂安·波斯托夫

老鹰队的辅助。技术信息学。逻辑函数–布尔模型。（EAGLE-STARTHILFE。技术信息。Logische Funktitonen–Boolesche Modelle。） （德语） Zbl 1297.68004号

EAGLE公司77.莱比锡：Gutenbergplatz Leipzig版（EAGLE）（ISBN 978-3-937219-77-6/pbk）。100页。(2014).
审核人：戈特弗里德·沃森（明斯特）
MSC公司：68-01 2007年7月68日 68甲15 94立方厘米 00A06号
PDF格式BibTeX公司 XML格式引用
\textit{B.Steinbach}和\textit{C.Posthoff}，EAGLE-STARTHILFE。技术信息。Logische Funktitonen——布尔谢模型。莱比锡：莱比锡古腾堡广场版（EAGLE）（2014；Zbl 1297.68004）
李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;Chechik，玛莎

SMT求解器的符号优化。 （英语） Zbl 1284.68410号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。607-618（2014年）。
MSC公司：60年第68季度 68号30 68T20型 68周05 90C99号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。607--618（2014年；Zbl 1284.68410）
全文： 内政部
安托万·金特里尼;塞西尔·梅勒

随机布尔树的等价类及其在加泰罗尼亚可满足性问题中的应用。 （英语） Zbl 1351.68191号

Pardo，Alberto（编辑）等人，拉丁语2014：理论信息学。第十一届拉丁美洲研讨会，乌拉圭蒙得维的亚，2014年3月31日至4月4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54422-4/pbk）。计算机科学课堂讲稿8392466-477（2014）。
MSC公司：68卢比 05二氧化碳 05C80号 06E30年 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Genitrini}和\textit{C.Mailler}，莱克特。注释计算。科学。8392、466--477（2014年；Zbl 1351.68191）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件