×

找到716份文件（结果1–100）

最新的 引文 关联
保利乌斯·迪尔卡斯

生成加权模型计数的随机实例。具有不同原始树宽的实证分析。 （英语） Zbl 07745674号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日，第20届国际会议，CPAIOR 2023，法国尼斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13884, 395-416 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Dilkas}，莱克特。注释计算。科学。13884，395--416（2023；Zbl 07745674）
全文： DOI程序
蔡俊阳；Khai-Nguyen Nguyen村；Nishant Shrestha；很好，艾丹；屠瑞森；于欣；哲，善典；塞拉，蒂亚戈

避免更多的网络修剪：从稀疏到几何和线性区域。 （英语） Zbl 07745662号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日，第20届国际会议，CPAIOR 2023，法国尼斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13884, 200-218 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{J.Cai}等人，Lect。注释计算。科学。13884，200-218（2023；Zbl 07745662）
全文： DOI程序 arXiv公司
诺伯特·佩耶里姆霍夫；马克·罗斯；约翰·施密特；雅各布·斯蒂克斯；阿丽娜Vdovina；菲利普·威尼茨

参数化计数和Cayley图形扩展器。 （英语） Zbl 07690451号

SIAM J.离散数学。 37，编号2，405-486（2023）.
MSC公司：68年第27季度 2017年第68季度 68兰特 05E40型 05C48号 11层06 11兰特52 65楼20层
PDF格式BibTeX公司 XML格式引用
\textit{N.Peyerimhoff}等人，SIAM J.离散数学。37，编号2，405--486（2023；Zbl 07690451）
全文： DOI程序
杰罗姆·勒鲁

陈述与领导者的协议的复杂性。 （英语） 兹伯利07824271

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。257-264 (2022).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{J.Leroux}，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。257--264（2022；Zbl 07824271）
全文： DOI程序 arXiv公司
雅各布·福克斯；马克·罗斯

计数具有遗传性质的小诱导子图。 （英语） Zbl 07774436号

Leonardi，Stefano（ed.）等人，《第54届ACM SIGACT计算理论研讨会论文集》，STOC’22，罗马，意大利，2022年6月20日至24日。纽约州纽约市：计算机协会（ACM）。1543-1551 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Focke}和\textit{M.Roth}，in：第54届ACM SIGACT计算理论研讨会论文集，STOC’22，罗马，意大利，2022年6月20-24日。纽约州纽约市：计算机协会（ACM）。1543-1551（2022年；Zbl 07774436）
全文： DOI程序 arXiv公司 链接
安德烈·布拉托夫（Andrei A.Bulatov）。；阿米尔侯赛因·卡泽米尼亚

模素数计数图同态的复杂性分类。 （英语） Zbl 07774397号

Leonardi，Stefano（ed.）等人，《第54届ACM SIGACT计算理论研讨会论文集》，STOC’22，罗马，意大利，2022年6月20日至24日。纽约州纽约市：计算机协会（ACM）。1024-1037 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Bulatov}和\textit{A.Kazeminia}，in：第54届ACM SIGACT计算理论研讨会论文集，STOC’22，罗马，意大利，2022年6月20-24日。纽约州纽约市：计算机协会（ACM）。1024-1037（2022；Zbl 07774397）
全文： DOI程序 arXiv公司
诺沃塞洛夫，S.A。；于波特涅夫。F、。

关于有限域上曲线（y^2=x^7+ax^4+bx）上的点数。 （俄语。英文摘要） Zbl 1505.11094号

Diskretn公司。分析。伊斯斯莱德。操作。 29，第2期，第62-79页（2022年）.
MSC公司：11G20峰会 14国集团15 2016年11月
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Novoselov}和\textit{Yu.F.Boltnev}，Diskretn。分析。伊斯斯莱德。操作。29，编号2，62--79（2022；Zbl 1505.11094）
全文： DOI程序 MNR公司
贝特朗Lacroix-A-Chez-Toine；费奥多罗夫，严五世。

勘误表：“计算具有非均匀弛豫速率的随机非梯度动力学中的平衡”。 （英语） Zbl 1507.82031号

《物理学杂志》。A、 数学。西奥。 55，第24号，文章ID 249501，第2页（2022）.
MSC公司：82B26型 60对20 37H20个 82平方米
PDF格式BibTeX公司 XML格式引用
\textit{B.Lacroix-A-Chez-Toine}和\textit{Y.V.Fyodorov}，J.Phys。A、 数学。西奥。55，第24号，文章ID 249501，2页（2022；Zbl 1507.82031）
全文： DOI程序
贝特朗Lacroix-A-Chez-Toine；费奥多罗夫，严五世。

计算具有非均匀弛豫速率的随机非梯度动力学中的平衡。 （英语） Zbl 1507.82030

《物理学杂志》。A、 数学。西奥。 55，第14号，文章ID 144001，39 p.（2022）; 更正同上，55，第24号，文章编号249501，第2页（2022）。
MSC公司：82B26型 60对20 37H20个 82平方米
PDF格式BibTeX公司 XML格式引用
\textit{B.Lacroix-A-Chez-Toine}和\textit{Y.V.Fyodorov}，J.Phys。A、 数学。西奥。55，第14号，文章ID 144001，39 p.（2022；Zbl 1507.82030）
全文： DOI程序 arXiv公司
安东尼斯·安东诺普洛斯；埃利尼·巴卡利；阿盖利基·查尔基；阿里斯·帕古尔茨；Pantavos，Petros公司；斯塔希斯·扎科斯

用简单的决策版本计算问题的完整性、近似性和指数时间结果。 （英语） Zbl 07533864号

西奥。计算。科学。 915，55-73（2022）.
MSC公司：68兰特 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Antonopoulos}等人，Theor。计算。科学。915，55-73（2022；Zbl 07533864）
全文： DOI程序
诺亚·弗莱明；托尼安·皮塔西

关于证明复杂性和计数原则的思考。 （英语） Zbl 07469221号

Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 497-520 (2022).
MSC公司：03Bxx号 03Gxx公司
PDF格式BibTeX公司 XML格式引用
\textit{N.Fleming}和\textit{T.Pitassi}，Outst。控制日志。22497--520（2022；Zbl 07469221）
全文： DOI程序
Radu Curticapean公司；戴尔、霍尔格；托尔·胡斯菲尔德

子图的模计数：匹配、匹配可分割图和路径。 （英语） Zbl 07740889号

Mutzel，Petra（编辑）等人，第29届欧洲算法年会。欧洲航天局2021年，葡萄牙里斯本（虚拟会议），2021年9月6日至8日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。204，第34条，第17页（2021年）。
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Curticapean}等人，LIPIcs——莱布尼茨国际程序。通知。204，第34条，第17页（2021；Zbl 07740889）
全文： DOI程序 arXiv公司
诺伯特·佩耶里姆霍夫；马克·罗斯；约翰·施密特；雅各布·斯蒂克斯；阿丽娜Vdovina

参数化（模块化）计数和Cayley图形扩展器。 （英语） Zbl 07724257号

Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第84条，第15页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Peyerimhoff}等人，LIPIcs——莱布尼茨国际程序。通知。202，第84条，第15页（2021；Zbl 07724257）
全文： DOI程序 arXiv公司
格罗乔，约书亚·A。；乔友明

关于（p）-群同构：通过张量的搜索-决策、计数-决策和幂零类约简。 （英语） Zbl 07711598号

Kabanets，Valentine（编辑），第36届计算复杂性会议，CCC 2021，加拿大安大略省多伦多，虚拟会议，2021年7月20日至23日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。200，第16条，第38页（2021年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Grochow}和\textit{Y.Joia}，LIPIcs——莱布尼茨国际程序。通知。200，第16条，第38页（2021；Zbl 07711598）
全文： DOI程序
马塞洛·阿里纳斯；路易斯·阿尔贝托·克劳奎维尔；拉杰什·贾亚拉姆；克里斯蒂安·里维罗斯

#NFA支持FPRAS：高效枚举、计数和统一生成日志空间类。 （英语） Zbl 1499.68124号

美国临床医学杂志 68，第6号，第48号论文，40页（2021年）.
MSC公司：2015年第68季度 第68页，共15页 2004年第68季度 65年第68季度 65年第68季度 68瓦20 68周25
PDF格式BibTeX公司 XML格式引用
\textit{M.Arenas}等人，J.ACM 68，第6号，第48号论文，40页（2021年；Zbl 1499.68124）
全文： DOI程序 arXiv公司
马西耶·里马；熔融，亨德里克；安德烈·尼切特林；罗尔夫·尼德迈尔

对时间间隔中心性的多项式时间可解性进行分类。 （英语） Zbl 07538579号

Kowalik，Łukasz（编辑）等人，《计算机科学中的图论概念》。第47届国际研讨会，工作组2021，波兰华沙，2021年6月23日至25日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12911, 219-231 (2021).
MSC公司：68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Rymar}等人，Lect。注释计算。科学。12911，219--231（2021；Zbl 07538579）
全文： DOI程序 arXiv公司
保利乌斯·迪尔卡斯；瓦夏克·贝勒

无参数变量的加权模型计数。 （英语） Zbl 07495570号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 134-151 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Dilkas}和\textit{V.Belle}，莱克特。注释计算。科学。12831、134--151（2021；Zbl 07495570）
全文： DOI程序 链接
阿维夫·巴纳坦；帕纳吉奥蒂斯·查拉兰波普洛斯；Pawe Gawrychowskił；谢·莫泽斯；奥伦·魏曼

平面图的容错距离标注。 （英语） Zbl 07495147号

Jurdziñski，Tomasz（编辑）等人，《结构信息和通信复杂性》。第28届国际学术讨论会，SIROCCO 2021，Wrocław，波兰，2021年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12810, 315-333 (2021).
MSC公司：6800万 2011年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Bar-Natan}等人，Lect。注释计算。科学。12810、315--333（2021；Zbl 07495147）
全文： DOI程序 arXiv公司
巴托斯·贝德纳西克；彼得·维特科夫斯基

关于在有限数据字上解释的\（\mathbb{C}^2\）的注释。 （英语） Zbl 1530.03049号

穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第17条，第14页（2020年）。
MSC公司：03B25号 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Bednarczyk｝和\textit｛P.Witkowski｝，LIPIcs——莱布尼茨国际诉讼。通知。178，第17条，第14页（2020年；Zbl 1530.03049）
全文： DOI程序
Gennaro Cordasco公司；路易莎·加尔加诺；阿黛尔·雷西尼奥（Adele A.Rescigno）。

通过邻域多样性加快网络挖掘。 （英语） Zbl 1515.68234号

Farach-Colton，Martin（编辑）等人，第十届算法乐趣国际会议。2021年5月30日至2021年6月1日，意大利西西里岛法维格纳纳岛。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。157，第21条，第12页（2020年）。
MSC公司：68兰特 68年第27季度 68周05 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{G.Cordasco}等人，LIPIcs——莱布尼茨国际程序。通知。157，第21条，第12页（2020年；Zbl 1515.68234）
全文： DOI程序
阿努吉·达瓦尔

对称计算（特邀演讲）。 （英语） Zbl 07650815号

Fernández，Maribel（编辑）等人，第28届EACSL计算机科学逻辑年会，CSL 2020，西班牙巴塞罗那，2020年1月13日至16日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。152，第2条，第12页（2020年）。
MSC公司：68倍 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Dawar}，LIPIcs——莱布尼茨国际程序。通知。152，第2条，第12页（2020；Zbl 07650815）
全文： DOI程序
苏曼·贝拉。；努詹·帕沙纳桑吉；塞沙赫里，C。

线性时间子图计数，图简并，以及大小为6的鸿沟。 （英语） Zbl 07650386号

Vidick，Thomas（编辑），第11届理论计算机科学创新会议，ITCS 2020，美国华盛顿州西雅图，2020年1月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。151，第38条，第20页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Bera}等人，LIPIcs——莱布尼茨国际程序。通知。151，第38条，第20页（2020；Zbl 07650386）
全文： DOI程序 arXiv公司
迪特里赫·库斯克

子跟踪顺序和计数一阶逻辑。 （英语） Zbl 1508.68125号

Fernau，Henning，计算机科学——理论与应用。2020年6月29日至7月3日，俄罗斯叶卡捷琳堡，第15届俄罗斯国际计算机科学研讨会，CSR 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12159, 289-302 (2020).
MSC公司：19年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kuske}，莱克特。注释计算。科学。12159289--302（2020年；Zbl 1508.68125）
全文： DOI程序
斯科特·亚伦森；罗宾·科塔里；威廉·克雷奇默；贾斯汀·泰勒

通过洛朗多项式进行近似计数的量子下限。 （英语） Zbl 1495.68085号

Saraf，Shubhangi（编辑），第35届计算复杂性会议，CCC 2020，2020年7月28日至31日，德国萨尔布吕肯，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169，第7条，第47页（2020年）。
MSC公司：2012年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Aaronson}等人，LIPIcs——莱布尼茨国际程序。通知。169，第7条，47页（2020年；Zbl 1495.68085）
全文： DOI程序 arXiv公司
迪特里赫·库斯克；克里斯蒂安·施瓦兹

计算子字顺序的一阶逻辑的复杂性。 （英语） Zbl 1508.68126号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第61条，第12页（2020年）。
MSC公司：19年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kuske}和\textit{C.Schwarz}，LIPIcs——莱布尼茨国际程序。通知。170，第61条，第12页（2020年；Zbl 1508.68126）
全文： DOI程序
阿什什·德维维迪；尼廷·萨克塞纳

在确定多项式时间内计算单变量的Igusa局部zeta函数。 （英语） Zbl 1457.11166号

Steven D.Galbraith（编辑），ANTS XIV。第十四届算法数论研讨会论文集，新西兰奥克兰，虚拟事件，2020年6月29日至7月4日。加州伯克利：数学科学出版社（MSP）。打开Book Ser。4, 197-214 (2020).
MSC公司：11系列40 第68季度01 68瓦30 2016年11月 14G50型
PDF格式BibTeX公司 XML格式引用
\textit{A.Dwivedi}和\textit{N.Saxena}，Open Book Ser。4197-214（2020年；Zbl 1457.11166）
全文： DOI程序 arXiv公司
米丽亚姆·巴肯斯；安德烈·布拉托夫；莱斯利·安·戈德伯格；科林·麦克奎兰；斯坦尼斯拉夫·伊文

具有弱保守性的布尔近似计数CSP，以及对铁磁双自旋的暗示。 （英语） Zbl 1435.68221号

J.计算。系统。科学。 109, 95-125 (2020).
MSC公司：68卢比 2017年第68季度 65年第68季度 68兰特 82D40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Backens}等人，J.Compute。系统。科学。109、95-125（2020年；Zbl 1435.68221）
全文： DOI程序 arXiv公司
莫里茨·米勒；贾恩·皮奇

简洁弱电路下界的可行构造性证明。 （英语） 兹比尔1454.03078

Ann.纯粹应用。逻辑 171，第2号，文章ID 102735，45 p.（2020）.
审核人：Ariel Germanán Fernández（布宜诺斯艾利斯）
MSC公司：20层03 2015年3月1日 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Muller}和\textit{J.Pich}，Ann.Pure Appl。逻辑171，第2号，文章ID 102735，45页（2020；Zbl 1454.03078）
全文： DOI程序 链接
程琪；高树红；J.莫里斯·罗哈斯；大庆湾

计算模素数幂多项式的根。 （英语） Zbl 07721125号

Scheidler，Renate（编辑）等人，ANTS XIII。第十三届算法数论研讨会论文集，威斯康星大学麦迪逊分校，威斯康星州，美国，2018年7月16日至20日。加州伯克利：数学科学出版社（MSP）。打开Book Ser。2191-205年（2019年）。
MSC公司：2016年11月 2006年11月 第13页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{Q.Cheng}等人，Open Book Ser。191-205（2019；Zbl 07721125）
全文： DOI程序 arXiv公司
西蒙·阿伯拉德；皮埃里克·高德利；皮埃尔·让·斯潘莱豪尔

用显式实数乘法计算第3类超椭圆曲线上的点。 （英语） Zbl 07721114号

Scheidler，Renate（编辑）等人，ANTS XIII。第十三届算法数论研讨会论文集，威斯康星大学麦迪逊分校，威斯康星州，美国，2018年7月16日至20日。加州伯克利：数学科学出版社（MSP）。打开Book Ser。2, 1-19 (2019).
审核人：胡安·特纳·阿尤索（巴利亚多利德）
MSC公司：11G20峰会 11立方米 2016年11月 14小时45分
PDF格式BibTeX公司 XML格式引用
\textit{S.Abelard}等人，Open Book Ser。2，1--19（2019年；兹bl 07721114）
全文： DOI程序 arXiv公司
V·阿尔文德。；阿卜拉尼·查特吉；拉吉特·达塔；帕塔·穆霍帕迪亚

使用多项式哈达玛积的快速精确算法。 （英语） Zbl 1518.68145号

Chattopadhyay，Arkadev（ed.）等人，第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日，印度孟买，FSTTCS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150，第9条，第14页（2019年）。
MSC公司：68年第27季度 2006年11月 2006年第68季度 68瓦20 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{V.Arvind}等人，LIPIcs——莱布尼茨国际程序。通知。150，第9条，第14页（2019年；Zbl 1518.68145）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件