×

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

最新的 引文 关联
谢尔盖·多夫格尔；海达尔·努利加列夫

图形发散级数的渐近性：稠密有向图和2-SAT公式。 arXiv:2310.05282

预打印，arXiv:2310.05282[math.CO]（2023）。
MSC公司：2016年1月5日 2015年1月5日 05A10号 05C30号 05C80号 05C20号 60二氧化碳 87年第68季度 68兰特
BibTeX公司 引用
\textit{S.Dovgal}和\textit{K.Nurligareev}，“图形发散级数的渐近性：稠密有向图和2-SAT公式”，预印，arXiv:2310.05282[math.CO]（2023）
全文： arXiv公司
OA许可证
阿奇利奥普塔斯，迪米特里斯；阿明·科贾·奥格伦；马克斯·哈恩·克里姆罗斯；Lee，Joon先生；穆勒，诺拉；曼努埃尔·彭舒克；周广燕

随机2-SAT公式的满意赋值数。 （英语） Zbl 1522.68375号

随机结构。算法 58，第4号，609-647（2021）.
MSC公司：68兰特 60F05型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Achlioptas}等人，《随机结构》。算法58，编号4609-647（2021；Zbl 1522.68375）
全文： 内政部
OA许可证
艾哈迈德·埃尔·阿劳伊；阿迪提亚·拉姆达斯；佛罗伦萨Krzakala；伦卡·兹德博罗娃；迈克尔·乔丹。

从汇集的数据中解码：清晰的信息理论界限。 （英语） Zbl 1499.62045号

SIAM J.数学。数据科学。 161-188（2019）第1号第1条.
MSC公司：62B10型 65年第68季度 05C80号 60K35型
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Alaoui}等人，SIAM J.数学。数据科学。1，第1号，161--188（2019年；Zbl 1499.62045）
全文： 内政部 arXiv公司
何坤；李、钱；孙晓明；张嘉鹏

量子Lovász局部引理：Shearer的束缚是紧的。 （英语） Zbl 1433.68148号

Charikar，Moses（ed.）等人，第51届ACM SIGACT计算理论研讨会论文集，STOC’19，美国亚利桑那州凤凰城，2019年6月23日至26日。纽约州纽约市：计算机协会（ACM）。461-472 (2019).
MSC公司：2012年第68季度 60二氧化碳 87年第68季度 68卢比 68兰特 81页68
PDF格式BibTeX公司 XML格式引用
\textit{K.He}等人，in：第51届ACM SIGACT计算理论年会论文集，STOC’19，美国亚利桑那州凤凰城，2019年6月23日至26日。纽约州纽约市：计算机协会（ACM）。461--472（2019年；Zbl 1433.68148）
全文： 内政部 arXiv公司
Sattath，或者；悉达赫·莫兰普迪。；劳曼，克里斯·R。；罗德里奇·莫斯纳

当局部哈密顿量必须是无阻的时。 （英语） Zbl 1435.68105号

程序。国家。阿卡德。科学。美国 113，第23号，6433-6437（2016）.
MSC公司：2012年第68季度 60二氧化碳 87年第68季度 68卢比 68兰特 81页68
PDF格式BibTeX公司 XML格式引用
\textit{O.Sattath}等人，Proc。国家。阿卡德。科学。美国113，No.23，6433--6437（2016；Zbl 1435.68105）
全文： arXiv公司
周广燕

关于随机Max 3和4-SAT的下限。 （英语） Zbl 1475.68227号

朱大明（编辑）等，算法的前沿。第十届国际研讨会，一汽2016，中国青岛，2016年6月30日-7月2日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9711, 269-278 (2016).
MSC公司：68兰特 60二氧化碳 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Zhou}，莱克特。注释计算。科学。9711，269--278（2016；Zbl 1475.68227）
全文： 内政部
大卫·G·哈里斯。；阿拉文·斯里尼瓦桑

Moser-Tardos分布的算法和计数方面。 （英语） Zbl 1410.05221号

Krauthgamer，Robert（编辑），第27届ACM-SIAM离散算法年度研讨会论文集，SODA 2016，美国弗吉尼亚州阿灵顿，2016年1月10日至12日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。2004-2023 (2016).
MSC公司：05年40月 05C15号 2015年1月5日 60二氧化碳 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.G.Harris}和\textit{A.Srinivasan}，in：第27届ACM-SIAM离散算法年度研讨会论文集，SODA 2016，弗吉尼亚州阿灵顿，美国，2016年1月10-12日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。2004年-2023年（2016年；Zbl 1410.05221）
全文： 内政部 arXiv公司
卢卡·卡德利；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁

微分等价的符号计算。 （英语） Zbl 1347.68258号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。137-150 (2016).
MSC公司：68问题85 60J28型 60年第68季度 68瓦30 第92页第42页 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，in：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。137-150（2016；Zbl 1347.68258）
全文： 内政部 链接
丹尼尔·贝伦德；Yochai Twitto

随机Max（r）-Sat的归一化自相关长度以概率收敛到\（1-1/2^r）/r。 （英语） Zbl 1478.68200号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 60-76 (2016).
MSC公司：68兰特 60F05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Berend}和\textit{Y.Twitto}，Lect。注释计算。科学。9710，60-76（2016；Zbl 1478.68200）
全文： 内政部
尼尔·达尔肖；尼尔·墨菲；拉斯穆斯·彼得森；博扬·约丹诺夫

合成和调整具有特定行为的化学反应网络。 （英语） Zbl 1403.92356号

安德鲁·菲利普斯（编辑）等人，《DNA计算和分子编程》。第21届国际会议，DNA 21，美国马萨诸塞州波士顿和剑桥，2015年8月17日至21日。诉讼程序。查姆：施普林格（ISBN 978-3-319-21998-1/pbk；978-3-3169-21999-8/电子书）。计算机科学讲座笔记9211，16-33（2015）。
MSC公司：92E20型 68N17号 68吨15 90B10型 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Dalchau}等人，Lect。注释计算。科学。9211，16-33（2015；Zbl 1403.92356）
全文： 内政部 arXiv公司
马可·巴奥莱蒂；安德烈亚·卡波托蒂；索罗·图利帕尼；巴巴拉·万塔吉

相干概率评估问题的简化规则。 （英语） Zbl 1006.68128号

安。数学。Artif公司。智力。 35，编号1-4，11-28（2002）.
审核人：罗马Scozzafava（罗马）
MSC公司：68吨15 60A99型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Baioletti}等人，《数学年鉴》。Artif公司。智力。35，编号1--4，11-28（2002；Zbl 1006.68128）
全文： 内政部
米歇尔·塔拉格兰德

旋转玻璃和组合优化。（Verres de spin et优化组合。） （法语） Zbl 1005.82014年

塞米纳伊尔·布尔巴吉。第1998/99卷。博览会850-864。巴黎：法国数学协会（SociétéMathématique de France，Astérisque）。266287-317，Exp.No.859（2000）。
MSC公司：82个B44 82-02 90C27型 82天30分 60K35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Talagrand}，收录于：Séminaire Bourbaki。第1998/99卷。博览会850-864。巴黎：法国数学学会。287--317，Exp.No.859（2000；Zbl 1005.82014）
全文： Numdam编号 欧洲DML

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件