×

找到140个文档(结果1-100)

带有混合符号的二部3-正则计数问题。 (英语) 兹伯利07530229

Bampis,Evripidis(编辑)等人,《计算理论基础》。第23届国际研讨会,FCT 2021,希腊雅典,2021年9月12-15日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12867135-148(2021)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

3-正则二部非负函数的二分法结果。 (英语) Zbl 07493526号

Santhanam,Rahul(编辑)等人,《计算机科学——理论与应用》。2021年6月28日至7月2日,在俄罗斯索契举行的第16届国际计算机科学研讨会,CSR 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12730, 102-115 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

关于Lovász的一个定理,即hom\((\cdot,H)\)决定了\(H\)的同构类型。 (英语) Zbl 07650365号

Vidick,Thomas(编辑),第11届理论计算机科学创新会议,ITCS 2020,美国华盛顿州西雅图,2020年1月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。151,第17条,第15页(2020)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

八维模型的近似性。 (英语) Zbl 07561732号

Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169,第4条,第18页(2020年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

六顶点模型的近似性。 (英语) Zbl 1432.68191号

Chan,Timothy M.(编辑),《第30届ACM-SIAM离散算法年度研讨会论文集》,2019年1月6日至9日,美国加利福尼亚州圣地亚哥,SODA 2019。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。2248-2261 (2019).
PDF格式BibTeX公司 XML格式引用

利用数论对(k)-正则非对称自旋系统进行复杂性三分法。 (英语) Zbl 1462.68078号

Karlin,Anna R.(编辑),第九届理论计算机科学创新会议,ITCS 2018,美国马萨诸塞州剑桥,2018年1月11-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。94,第2条,22 p.(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实际Holant(^{mathrm c})问题的二分法。 (英语) Zbl 1403.68076号

Czumaj,Artur(编辑),第29届年度ACM-SIAM离散算法研讨会论文集,2018年SODA,美国洛杉矶新奥尔良,2018年1月7日至10日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)(ISBN 978-1-61197-503-1/电子书)。1802-1821 (2018).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

计数问题的复杂性二分法。第1卷。布尔域。 (英语) Zbl 06821418号

剑桥:剑桥大学出版社(ISBN 978-1-107-06237-5/hbk;978-1-107-27706-3/电子书)。x、 第461页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带匹配门的全息算法是布尔域上平面#CSP的通用算法。 (英语) Zbl 1369.68233号

Hatami,Hamed(ed.)等人,《第49届ACM SIGACT计算理论年度研讨会论文集》,STOC’17,加拿大魁北克省蒙特利尔,2017年6月19-23日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4528-6)。842-855 (2017).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

#树非唯一区域中二部有界度图上2-自旋系统的BIS-硬度。 (英语) Zbl 1359.68119号

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,582-595(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

全息算法超越了匹配门。 (英语) Zbl 1408.68143号

Esparza,Javier(编辑)等人,《自动化、语言和编程》。2014年7月8日至11日,丹麦哥本哈根,第41届国际学术讨论会,ICALP 2014。会议记录,第一部分,柏林:施普林格。莱克特。注释计算。科学。8572, 271-282 (2014).
PDF格式BibTeX公司 XML格式引用

域大小为3的函数的Holant*问题的二分法。 (英语) Zbl 1421.68065号

Khanna,Sanjeev(编辑),第24届ACM-SIAM离散算法年度研讨会论文集,SODA 2013,美国洛杉矶新奥尔良,2013年1月6日至8日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1278-1295 (2013).
PDF格式BibTeX公司 XML格式引用

一个完全的二分法来自于对消失签名的捕获(扩展抽象)。 (英语) Zbl 1293.68162号

第45届ACM计算理论年会论文集,STOC’13。2013年6月1日至4日,美国加利福尼亚州帕洛阿尔托。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2029-0)。635-644 (2013).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算问题的复杂性二分法。 (英语) Zbl 1377.68093号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37063-2/pbk)。计算机科学课堂讲稿7810,1-11(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

小工具和反小工具导致了复杂性二分法。 (英语) Zbl 1347.68178号

2012年1月8日至10日,美国马萨诸塞州剑桥市ITCS’12第三届理论计算机科学创新会议论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1115-1)。452-467 (2012).
PDF格式BibTeX公司 XML格式引用

计算具有复杂权重的CSP的复杂性。 (英语) Zbl 1286.68182号

Karloff,Howard J.(编辑)等人,第44届ACM计算理论研讨会论文集,STOC 2012。2012年5月19日至22日,美国纽约州纽约市。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1245-5)。909-920 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔域Holant*问题的二分法。 (英语) Zbl 1373.68256号

Randall,Dana(编辑),第22届ACM-SIAM离散算法年度研讨会论文集,SODA 2011,美国加利福尼亚州旧金山,2011年1月23日至25日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1714-1728 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 链接

具有复杂边函数和指定度规则的图上的自旋系统。 (英语) Zbl 1353.68110号

傅斌(编辑)等,《计算与组合学》。2011年8月14日至16日,美国德克萨斯州达拉斯,COCOON 2011,第17届国际年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22684-7/pbk)。计算机科学课堂讲稿6842146-157(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计数问题复杂性方面的进展。 (英语) Zbl 1329.68133号

米哈伊尔·阿塔拉(编辑)等人,《信息和管理中算法和算法方面的前沿》。2011年5月28日至31日,在中国金华举行的2011年一汽-奥迪汽车零部件联合国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21203-1/pbk)。计算机科学讲座笔记6681,1-3(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有复杂边函数的正则图的Holant问题。 (英语) Zbl 1250.68129号

Marion,Jean-Yves(编辑)等人,STACS 2010。第27届计算机科学理论方面国际研讨会,法国南希,2010年3月4-6日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-16-3)。LIPIcs–莱布尼茨国际信息学论文集525-536,仅电子版(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

从Holant到#CSP再到后面:Holant(^{c})问题的二分法。 (英语) Zbl 1310.68101号

Cheong,Otfried(编辑)等人,《算法与计算》。2010年12月15日至17日在韩国济州岛举行的2010年ISAAC第21届国际研讨会。会议记录,第一部分,柏林:施普林格出版社(ISBN 978-3-642-17516-9/pbk)。计算机科学课堂讲稿6506253-265(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复值图同态:二分法定理(扩展抽象)。 (英语) Zbl 1288.05178号

Abramsky,Samson(编辑)等人,《自动化,语言和编程》。第37届国际学术讨论会,ICALP 2010,波尔多,法国,2010年7月6日至10日。会议记录,第一部分,柏林:施普林格出版社(ISBN 978-3-642-14164-5/pbk)。计算机科学讲义6198275-286(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于易处理的指数和。 (英语) Zbl 1288.68104号

Lee,Der-Tsai(编辑)等人,《算法的前沿》。2010年8月11日至13日,中国武汉,一汽2010年第四届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14552-0/pbk)。计算机科学课堂讲稿6213,148-159(2010)。
PDF格式BibTeX公司 XML格式引用

具有顶点赋值和实边函数的(k)正则图的二分法。 (英语) Zbl 1284.68276号

Kratochvíl,Jan(编辑)等人,《计算模型的理论和应用》。2010年6月7日至11日在捷克共和国布拉格举行的TAMC 2010第七届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13561-3/pbk)。计算机科学课堂讲稿6108328-339(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Holant问题和计算CSP。 (英语) Zbl 1304.68067号

第41届ACM计算理论年会论文集,STOC'09。美国马里兰州贝塞斯达,2009年5月31日至6月2日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-613-7)。715-724(2009年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

标签切割和相关问题的近似和硬度结果。 (英语) Zbl 1241.90129号

Chen,Jianer(编辑)等,计算模型的理论和应用。第六届年会,TAMC 2009,中国长沙,2009年5月18-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02016-2/pbk)。计算机科学课堂讲稿5532,460-469(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一些限制计数问题复杂性的计算证明。 (英语) Zbl 1241.68068号

Chen,Jianer(编辑)等,计算模型的理论和应用。2009年5月18日至22日在中国长沙举行的TAMC 2009第六届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02016-2/pbk)。计算机科学课堂讲稿5532138-149(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有不对称签名的全息算法。 (英语) Zbl 1192.68474号

第十九届ACM-SIAM离散算法年度研讨会论文集,加利福尼亚州旧金山,2008年1月20日至22日。纽约州纽约市:计算机协会(ACM);宾夕法尼亚州费城:工业与应用数学学会(SIAM)(ISBN 978-0-898176-4)。54-63 (2008).
PDF格式BibTeX公司 XML格式引用

全息算法中的签名理论。 (英语) Zbl 1183.68718号

Hong,Seok-Hee(编辑)等人,《算法与计算》。第19届国际研讨会,ISAAC 2008,澳大利亚黄金海岸,2008年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92181-3/pbk)。计算机科学课堂讲稿5369568-579(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

任何特征上的永久行列式问题的二次下界(neq 2)。 (英语) Zbl 1231.68288号

STOC'08年。2008年5月17日至20日,加拿大维多利亚,第40届ACM计算理论年会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-047-0)。491-498 (2008).
PDF格式BibTeX公司 XML格式引用

全息算法:从艺术到科学。 (英语) Zbl 1232.68055号

STOC'07年。2007年6月11日至13日,美国加利福尼亚州圣地亚哥,第39届ACM计算理论年会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-59593-631-8)。401-410 (2007).
PDF格式BibTeX公司 XML格式引用

匹配门的块对称签名。 (英语) Zbl 1135.68436号

Csuhaj-Varjü,Erzébet(编辑)等人,《计算理论基础》。2007年8月27日至30日在匈牙利布达佩斯举行的2007年FCT第16届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74239-5/pbk)。计算机科学课堂讲稿4639187-198(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

全息算法:解决维度的能力。 (英语) 兹比尔1171.68841

Arge,Lars(编辑)等人,《自动化,语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会,ICALP 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73419-2/pbk)。计算机科学课堂讲稿4596631-642(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算模型的理论和应用。2007年5月22日至25日,第四届国际会议,TAMC 2007,中国上海。诉讼程序。 (英语) Zbl 1118.68003号

计算机科学课堂讲稿4484.柏林:施普林格出版社(ISBN 978-3-540-72503-9/pbk)。xiii,772页。(2007).
MSC公司:68-06 2005年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于全息算法中的对称签名。 (英语) 兹比尔1186.68540

Thomas,Wolfgang(编辑)等人,STACS 2007。2007年2月22日至24日在德国亚琛举行的第24届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70917-6/pbk)。计算机科学课堂讲稿4393,429-440(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Valiant的holant定理和匹配门张量。 (英语) Zbl 1178.68660号

Cai,Jin Yi(编辑)等人,计算模型的理论与应用。第三届国际会议,TAMC 2006,中国北京,2006年5月15日至20日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-34021-1/pbk)。计算机科学课堂讲稿3959248-261(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算模型的理论和应用。第三届国际会议,TAMC 2006,中国北京,2006年5月15日至20日。诉讼程序。 (英语) 兹比尔1102.68004

计算机科学课堂讲稿3959.柏林:施普林格出版社(ISBN 3-540-34021-1/pbk)。xv,794页。(2006).
MSC公司:68-06 2005年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在均匀JAG和NNJAG上模拟无向连通性算法。 (英语) Zbl 1175.68546号

邓晓铁(编辑)等,《算法与计算》。2005年12月19日至21日,第16届国际学术研讨会,中国海南三亚,ISAAC 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30935-7/pbk)。计算机科学课堂讲稿3827767-776(2005)。
MSC公司:68周05 05C40号 2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于oracle访问一个NP查询的零错误算法的注释。 (英语) Zbl 1128.68358号

王璐生(编辑),计算与组合学。第十一届国际年会,COCOON 2005,中国昆明,2005年8月16-29日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28061-8/pbk)。计算机科学课堂讲稿3595339-348(2005)。
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

取消概率日志空间的时空折衷。 (英语) Zbl 1122.68439号

Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996571-583(2004)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机访问建议字符串和折叠结果。 (英语) 兹比尔1116.68445

弗莱舍,鲁道夫(编辑)等人,《算法与计算》。2004年12月20日至22日在中国香港举行的第15届国际研讨会,ISAAC 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24131-0/pbk)。计算机科学讲座笔记3341209-220(2004)。
MSC公司:2005年第68季度 2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于证明多项式时间层次的电路下界:正负结果。 (英语) Zbl 1276.68080号

Warnow,Tandy(编辑)等人,《计算与组合学》。第九届国际年会,COCOON 2003,Big Sky,MT,USA,2003年7月25-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40534-8/pbk)。计算机科学课堂讲稿2697202-211(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

严格的相对化。 (英语) 兹比尔1205.68163

Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。莱克特。注释计算。科学。2914, 408-419 (2003).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

竞争性校准仪产生了改进的Karp-Lipton坍塌结果。 (英语) Zbl 1035.68053号

Alt,Helmut(编辑)等人,STACS 2003。第20届计算机科学理论方面年度研讨会,德国柏林,2003年2月27日至3月1日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-00623-0/pbk)。莱克特。注释计算。科学。2607, 535-546 (2003).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

在更高的亚瑟-梅林课程中。 (英语) Zbl 1077.68649号

Ibarra,Oscar H.(编辑)等人,《计算与组合学》。第八届国际年会,COCOON 2002,新加坡,2002年8月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43996-X)。莱克特。注释计算。科学。2387, 18-27 (2002).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

电路最小化问题。 (英语) Zbl 1296.94182号

2000年5月21日至23日,美国俄勒冈州波特兰市,第三十二届ACM计算理论年会论文集(STOC 2000)。纽约州纽约市:ACM出版社(ISBN 1-58113-184-4)。73-79 (2000).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率拟多项式时间的硬度和层次定理。 (英语) Zbl 1346.68095号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论年度研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。726-735(1999年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

软件