×

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

最新的 引文 关联
Brian Courtehoute先生;丰满，细节

完整图形计算模型的时间和空间度量。 （英语） Zbl 07806732号

Heckel，Reiko（编辑）等人，《第十三届图形计算模型国际研讨会论文集》，GCM，法国南特，2022年7月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）374，23-44（2022）。
MSC公司：68倍 90至XX
PDF格式BibTeX公司 XML格式引用
\textit{B.Courtehoute}和\textit{D.Plump}，电子。程序。西奥。计算。科学。（EPTCS）374，23--44（2022；Zbl 07806732）
全文： arXiv公司 链接
鲁道夫·金特罗;大卫·伯纳尔;塔马斯·特拉基;路易斯·祖卢亚加（Luis F.Zuluaga）。

最大可着色子图问题的QUBO重格式的特征。 （英语） Zbl 1508.81518号

量子信息处理。 21，第3号，第89号论文，36页（2022年）.
MSC公司：81页68 2009年第68季度 2012年第68季度 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Quintero}等人，《量子信息处理》。21，第3号，第89号文件，第36页（2022年；Zbl 1508.81518）
全文： 内政部 arXiv公司
克雷斯蒂安·约布茨克;彼得·维希·涅夫斯基;安东尼·利格扎

时间旅行推销员问题——基于逻辑和图论的描述。 （英语） 兹比尔1508.68335

Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2018年6月3日至7日在波兰扎科帕内举行的2018年ICAISC第17届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10842544-556（2018）。
MSC公司：68T20型 03B70号 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{K.Jobczyk}等人，莱克特。注释计算。科学。10842、544--556（2018年；Zbl 1508.68335）
全文： 内政部
萨法维·奈尼，雷哈内赫;维利亚姆·利斯;伊沃·德斯梅特

经济最优的可变标签长度消息认证。 （英语） Zbl 1460.94077号

Kiayias，Aggelos（编辑），《金融加密和数据安全》。2017年4月3日至7日，第21届国际会议，FC 2017，马耳他斯利马。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10322, 204-223 (2017).
MSC公司：94A62型 91A99型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Safavi-Naini}等人，Lect。注释计算。科学。10322、204-223（2017；Zbl 1460.94077）
全文： 内政部
卡洛斯·卡莱罗;菲利佩·卡萨尔;安德烈亚·莫迪多

广义概率可满足性。 （英语） Zbl 1401.68113号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记332，39-56（2017）。
MSC公司：65年第68季度 2017年第68季度 68T20型 90立方厘米 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Caleiro}等人，《电子》。注释Theor。计算。科学。332、39-56（2017；Zbl 1401.68113）
全文： 内政部
马丁·范策尔;迈克尔·汉森。;海因里希·奥迪

没必要认识很多邻居。实现MLSL的可实现解释。 （英语） 兹比尔1444.68181

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 152-171 (2015).
MSC公司：68T27型 68T20型 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}等人，Lect。注释计算。科学。9360、152--171（2015年；Zbl 1444.68181）
全文： 内政部
伯恩哈德·海普勒;大卫·卡格

通过网络编码在动态网络中更快地传播信息。 （英语） Zbl 1321.68467号

2011年6月6日至8日，美国加利福尼亚州圣何塞市，第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，PODC’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0719-2）。381-390 (2011).
MSC公司：68宽15 68M10个 68米14 65年第68季度 68兰特 90B18号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Haeupler}和\textit{D.Karger}，摘自：第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，PODC’11，美国加利福尼亚州圣何塞，2011年6月6-08日。纽约州纽约市：计算机协会（ACM）。381--390（2011年；Zbl 1321.68467）
全文： 内政部 链接
马吉德·卡巴齐安;Dariusz R.科瓦尔斯基。

无线网络中的时间效率高的随机多消息广播。 （英语） Zbl 1321.68315号

2011年6月6日至8日，美国加利福尼亚州圣何塞市，第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，PODC’11。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-0719-2）。373-380 (2011).
MSC公司：65年第68季度 68M10个 68个M12 68平方米 68兰特 68宽15 68瓦25 90B18号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Khabbazian}和\textit{D.R.Kowalski}，摘自：第30届ACM SIGACT-SIGOPS分布式计算原理年度研讨会论文集，PODC’11，美国加利福尼亚州圣何塞，2011年6月6日至8日。纽约州纽约市：计算机协会（ACM）。373--380（2011年；Zbl 1321.68315）
全文： 内政部
迈克尔·迪尼茨;罗伯特·克劳斯加默

更好、更简单的容错扳手。 （英语） 兹比尔1321.68103

2011年6月6日至8日，美国加利福尼亚州圣何塞市，第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，PODC’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0719-2）。169-178 (2011).
MSC公司：68米15 68米14 68兰特 68宽15 68瓦25 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{M.Dinitz}和\textit{R.Krauthgamer}，摘自：第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集，PODC’11，美国加利福尼亚州圣何塞，2011年6月6日至8日。纽约州纽约市：计算机协会（ACM）。169--178（2011年；Zbl 1321.68103）
全文： 内政部 arXiv公司
尼基尔·迪内什;阿拉文·乔希;李因苏普;奥列格·索科尔斯基

在监管合规性检查中对法律的条件和例外进行推理。 （英语） Zbl 1143.03351号

范德梅登，罗恩（编辑）等，《计算机科学中的道义逻辑》。第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70524-6/pbk）。计算机科学课堂讲稿5076。人工智能课堂讲稿，110-124（2008）。
MSC公司：03B80号 03B44号 03B60号 90磅70
PDF格式BibTeX公司 XML格式引用
\textit{N.Dinesh}等人，Lect。注释计算。科学。5076、110-124（2008年；Zbl 1143.03351）
全文： 内政部 链接
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。

建立一个高效的SAT图书馆：宣言。 （英语） Zbl 0990.90559号

Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注释离散数学。9，无页码。，仅电子版（2001）。
MSC公司：90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，《电子》。注释离散数学。9，无页码。（2001年；Zbl 0990.90559）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件