×

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

树中加权多截的参数化复杂性。 (英语) Zbl 07682415号

Bekos,Michael A.(编辑)等人,《计算机科学中的图论概念》。第48届国际研讨会,2022年6月22日至24日,德国图宾根,WG 2022。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13453, 257-270 (2022).
MSC公司:68兰特
PDF格式BibTeX公司 XML格式引用

自由边修正问题的不可压缩性:走向二分法。 (英语) Zbl 1533.68256号

Grandoni,Fabrizio(编辑)等人,第28届欧洲算法年会。《2020年欧洲航天局》,2020年9月7日至9日,意大利比萨,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。173,第72条,第25页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对象胖度如何影响维度包装的复杂性? (英语) Zbl 07650269号

Lu,Pinyan(编辑)等,第30届算法与计算国际研讨会,2019年国际会计准则理事会,上海财经大学,中国上海,2019,12月8-11日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。149,第36条,第18页(2019年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

嵌入图中硬切割问题的几乎紧下界。 (英语) Zbl 07559227号

Barequet,Gill(编辑)等人,第35届计算几何国际研讨会,2019年SoCG,美国俄勒冈州波特兰,2019,6月18-21日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。129,第27条,第16页(2019年)。
MSC公司:68单位05
PDF格式BibTeX公司 XML格式引用

多预算定向削减。 (英语) Zbl 1477.68237号

Paul,Christophe(ed.)等人,第13届参数化和精确计算国际研讨会,2018年8月22日至24日,2018年IPEC,芬兰赫尔辛基。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。115,第18条,第14页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有向反馈顶点集推广的参数化算法。 (英语) Zbl 1525.68066号

Heggenes,Pinar(编辑),《算法与复杂性》。2019年5月27日至29日在意大利罗马举行的第十一届国际会议,CIAC 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11485, 249-261 (2019).
PDF格式BibTeX公司 XML格式引用

运输网络中(k)中心问题的参数化硬度。 (英语) Zbl 1477.68223号

David Eppstein(编辑),第16届斯堪的纳维亚研讨会和算法理论研讨会。2018年6月18日至20日,瑞典马尔默大学,SWAT 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。101,第19条,第13页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

发现从有界树宽图到自反图的列表同态:一个完整的复杂性表征。 (英语) 兹比尔1487.68125

Niedermeier,Rolf(ed.)等人,第35届计算机科学理论方面研讨会,STACS 2018,法国卡昂,2018年2月28日至3月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第27条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界三宽图上的广义反馈点集问题:弦性是单指数参数化算法的关键。 (英语) Zbl 1443.68121号

Lokshtanov,Daniel(编辑)等人,第十二届参数化和精确计算国际研讨会,2017年国际物理工程委员会,奥地利维也纳,2017年9月6日至8日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89,第7条,第13页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

几何相交图中ETH算法和下界的框架。 (英语) Zbl 1427.68353号

Diakonikolas,Ilias(编辑)等人,第50届ACM SIGACT计算理论研讨会论文集,STOC’18,美国加利福尼亚州洛杉矶,2018年6月25日至29日。纽约州纽约市:计算机协会(ACM)。574-586 (2018).
PDF格式BibTeX公司 XML格式引用

多项式增长图的次指数参数化算法。 (英语) Zbl 1442.68178号

Pruhs,Kirk(编辑)等人,第25届欧洲算法研讨会,2017年ESA,奥地利维也纳,2017年9月4-6日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。87,第59条,第15页(2017年)。
PDF格式BibTeX公司 XML格式引用

着色单元磁盘和球的细粒度复杂性。 (英语) Zbl 1417.68226号

Aronov,Boris(编辑)等人,第33届计算几何国际研讨会。2017年7月4日至7日,澳大利亚布里斯班,SoCG 2017。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。77,第18条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无H图、独立集和次指数时间算法。 (英语) Zbl 1398.05191号

郭炯(编辑)等,第十一届参数化精确计算国际研讨会(IPEC 2016),丹麦奥胡斯,2016年8月24-26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-023-1)。LIPIcs–莱布尼茨国际信息学论文集63,第3条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同态是计算小子图的良好基础。 (英语) Zbl 1369.05191号

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

计算有界树宽、团宽和亏格的图上的完美匹配的紧条件下界。 (英语) Zbl 1409.68126号

Krauthgamer,Robert(编辑),第27届ACM-SIAM离散算法年度研讨会论文集,SODA 2016,弗吉尼亚州阿灵顿,美国,2016年1月10日至12日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1650-1669 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

近可嵌入图上非对称TSP的常数因子近似。 (英语) Zbl 1398.68681号

Jansen,Klaus(编辑)等,近似、随机化和组合优化。算法和技术。2016年9月7日至9日在法国巴黎举行的第19届组合优化问题近似算法国际研讨会(APPROX 2016)和第20届随机化与计算国际研讨会(RANDOM 2016)会议记录。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-018-7)。LIPIcs–莱布尼茨国际信息学论文集60,第16条,54页(2016)。
PDF格式BibTeX公司 XML格式引用

非循环有向图中的拥塞路由。 (英语) Zbl 1398.68208号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第7条,第11页(2016)。
PDF格式BibTeX公司 XML格式引用

剥食仙人掌:计算三角剖分和相关问题的亚指数时间算法。 (英语) Zbl 1387.68269号

Fekete,Sándor(编辑)等人,第32届计算几何国际研讨会,SoCG’16,美国马萨诸塞州波士顿,2016年6月14-17日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-009-5)。LIPIcs–莱布尼茨国际信息学学报51,第52条,16页(2016)。
PDF格式BibTeX公司 XML格式引用

树宽参数化的可选择性问题的双指数和三指数界。 (英语) Zbl 1388.68128号

Chatzigiannakis,Ioannis(编辑)等人,第43届自动化、语言和编程国际学术讨论会,2016年ICALP,意大利罗马,2016年7月12-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-013-2)。LIPIcs–Leibniz International Proceedings in Informatics 55,Article 28,15 p.(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

固定参数定向Steiner网络问题的复杂性。 (英语) Zbl 1388.68228号

Chatzigiannakis,Ioannis(编辑)等人,第43届自动机、语言和编程国际学术讨论会,ICALP 2016,意大利罗马,2016年7月12-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-013-2)。LIPIcs–Leibniz International Proceedings in Informatics 55,Article 27,14 p.(2016)。
PDF格式BibTeX公司 XML格式引用

平面组斯坦纳树的PTAS通过扳手引导和奖金收集。 (英语) Zbl 1376.68168号

Wichs,Daniel(编辑)等人,《第48届ACM SIGACT计算理论研讨会论文集》,STOC’16,美国马萨诸塞州剑桥,2016年6月19-21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4132-5)。570-583 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有块属性的遗传图类的参数化顶点删除问题。 (英语) 兹伯利1417.68062

Heggernes,Pinar(编辑),计算机科学中的图论概念。第42届国际研讨会,2016年工作组,2016年6月22日至24日,土耳其伊斯坦布尔。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。9941, 233-244 (2016).
PDF格式BibTeX公司 XML格式引用

最大不相交路径问题可处理需求模式的精确特征。 (英语) Zbl 1372.68139号

Indyk,Piotr(编辑),第26届ACM-SIAM离散算法年度研讨会论文集,SODA 2015,加州圣地亚哥波特兰,2015年1月4-6日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)(ISBN 978-1-61197-374-7;978-1-611197-373-0/电子书)。642-661 (2015).
PDF格式BibTeX公司 XML格式引用

从多项式时间算法、核和图灵核的角度描述易于查找的子图。 (英语) Zbl 1371.68212号

Indyk,Piotr(编辑),第26届ACM-SIAM离散算法年度研讨会论文集,SODA 2015,波特兰,圣地亚哥,加利福尼亚州,2015年1月4日至6日。宾夕法尼亚州费城:工业与应用数学协会(SIAM);纽约州纽约市:计算机协会(ACM)(ISBN 978-1-61197-374-7;978-1-611197-373-0/电子书)。616-629 (2015).
PDF格式BibTeX公司 XML格式引用

利用Voronoi图求解平面设施选址问题的最优参数化算法。 (英语) Zbl 1422.68253号

Bansal,Nikhil(编辑)等人,《算法——2015年欧洲账户体系》。2015年9月14日至16日,第23届欧洲年会,希腊帕特拉斯。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9294, 865-877 (2015).
PDF格式BibTeX公司 XML格式引用

平面图上子集TSP的一个次指数参数化算法。 (英语) Zbl 1423.68214号

Chekuri,Chandra(编辑),第25届ACM-SIAM离散算法年度研讨会论文集,SODA 2014,波特兰,俄勒冈州,美国,2014年1月5-7日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1812-1830 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有固定数目终端(和扩展)的平面强连通Steiner子图的紧界。 (英语) Zbl 1421.68112号

Chekuri,Chandra(编辑),第25届ACM-SIAM离散算法年度研讨会论文集,SODA 2014,波特兰,俄勒冈州,美国,2014年1月5-7日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1782-1801 (2014).
PDF格式BibTeX公司 XML格式引用

间隔删除是固定参数可处理的。 (英语) 兹比尔1421.68066

Chekuri,Chandra(编辑),第25届ACM-SIAM离散算法年度研讨会论文集,SODA 2014,波特兰,俄勒冈州,美国,2014年1月5-7日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。122-141 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于子图同构的参数化复杂性,您一直想知道的一切(但不敢问)。 (英语) Zbl 1359.68139号

Mayr,Ernst W.(编辑)等人,第31届计算机科学理论方面国际研讨会,STACS’14,法国里昂,2014年3月5日至8日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-65-1)。LIPIcs–莱布尼茨国际信息学论文集25,542-553(2014)。
PDF格式BibTeX公司 XML格式引用

和弦编辑是固定参数的。 (英语) Zbl 1359.05119号

Mayr,Ernst W.(编辑)等人,第31届计算机科学理论方面国际研讨会,STACS’14,法国里昂,2014年3月5日至8日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-65-1)。LIPIcs–莱布尼茨国际信息学论文集25,214-225(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在有界树宽的图中命中禁止子图。 (英语) Zbl 1426.68118号

Csuhaj-Varjü,Erzébet(编辑)等人,2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。诉讼,第二部分。柏林:斯普林格。莱克特。注释计算。科学。8635, 189-200 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于二分压缩的快速FPT算法。 (英语) Zbl 1407.68536号

Gutin,Gregory(编辑)等人,参数化和精确计算。2013年9月4日至6日在法国索菲亚·安蒂波利斯举行的2013年IPEC第八届国际研讨会。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8246, 177-188 (2013).
PDF格式BibTeX公司 XML格式引用

通过删除几个顶点列出图的H着色。 (英语) Zbl 1395.68145号

Bodlaender,Hans L.(编辑)等人,《算法——2013年欧洲账户体系》。2013年9月2日至4日,第21届欧洲年会,法国索菲亚·安蒂波利斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40449-8/pbk)。《计算机科学讲义》8125113-324(2013)。
PDF格式BibTeX公司 XML格式引用

用于最小成本边缘连接增强的固定参数算法。 (英语) Zbl 1336.68141号

Fomin,Fedor V.(编辑)等人,《自动化、语言和编程》。第40届国际学术讨论会,2013年ICALP,拉脱维亚里加,2013年7月8日至12日,第一部分会议记录,柏林:施普林格出版社(ISBN 978-3-642-39205-4/pbk)。计算机科学课堂讲稿7965,721-732(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过割集的大小参数化的定向多向切割的固定参数可处理性。 (英语) Zbl 1421.68067号

Rabani,Yuval(编辑),第23届ACM-SIAM离散算法年度研讨会论文集,SODA 2012,日本京都,2012年1月17日至19日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1713-1725 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 链接

包装问题的核心化。 (英语) Zbl 1421.68072号

Rabani,Yuval(编辑),第23届ACM-SIAM离散算法年度研讨会论文集,SODA 2012,日本京都,2012年1月17日至19日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。68-81 (2012).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

排除拓扑子图的图的结构定理和同构检验。 (英语) Zbl 1286.05106号

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

具有固定端子数的平面多路切割的紧下限。 (英语) Zbl 1272.68147号

Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日,第39届国际学术讨论会,ICALP 2012,英国沃里克。会议记录,第一部分,柏林:施普林格出版社(ISBN 978-3-642-31593-0/pbk)。计算机科学课堂讲稿7391677-688(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解平面终端切入(O(n^{c\sqrt{k}})时间。 (英语) Zbl 1272.68157号

Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日,第39届国际学术讨论会,ICALP 2012,英国沃里克。会议记录,第一部分,柏林:施普林格出版社(ISBN 978-3-642-31593-0/pbk)。计算机科学课堂讲稿7391569-580(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有向子集反馈顶点集是固定参数可处理的。 (英语) Zbl 1272.68149号

Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日,第39届国际学术讨论会,ICALP 2012,英国沃里克。会议记录,第一部分,柏林:施普林格出版社(ISBN 978-3-642-31593-0/pbk)。计算机科学课堂讲稿7391,230-241(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于寻找具有非遗传性质的分隔符的参数化复杂性。 (英语) Zbl 1341.68060号

Golumbic,Martin Charles(编辑)等人,《计算机科学中的图论概念》。第38届国际研讨会,2012年工作组,2012年6月26日至28日,以色列耶路撒冷。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-34610-1/pbk)。计算机科学课堂讲稿7551,332-343(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平面图上的Prize-collecting Steiner问题。 (英语) Zbl 1376.68059号

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

关于有界树宽图的已知算法可能是最优的。 (英语) Zbl 1373.68242号

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

拓扑子图的发现是固定参数可处理的。 (英语) Zbl 1288.05058号

第43届ACM计算理论年会论文集,STOC’11。2011年6月6日至8日,美国加利福尼亚州圣何塞。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0691-1)。479-488 (2011).
PDF格式BibTeX公司 XML格式引用

由割集大小参数化的多割的固定参数可处理性。 (英语) Zbl 1288.05283号

第43届ACM计算理论年会论文集,STOC’11。2011年6月6日至8日,美国加利福尼亚州圣何塞。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0691-1)。469-478 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

欧拉删除问题的参数化复杂性。 (英语) Zbl 1341.05141号

Kolman,Petr(编辑)等人,《计算机科学中的图论概念》。2011年6月21日至24日,第37届国际研讨会,2011年工作组,捷克共和国特普拉修道院。修订论文。柏林:施普林格出版社(ISBN 978-3-642-25869-5/pbk)。计算机科学课堂讲稿6986,131-142(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

重要的分隔符和参数化算法。 (英语) 兹比尔1341.05212

Kolman,Petr(编辑)等人,《计算机科学中的图论概念》。2011年6月21日至24日,第37届国际研讨会,2011年工作组,捷克共和国特普拉修道院。修订论文。柏林:施普林格出版社(ISBN 978-3-642-25869-5/pbk)。计算机科学课堂讲稿6986,5-10(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有本地限制的群集。 (英语) Zbl 1333.68148号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。会议记录,第一部分,柏林:施普林格出版社(ISBN 978-3-642-22005-0/pbk)。计算机科学课堂讲稿6755785-797(2011)。
PDF格式BibTeX公司 XML格式引用

平面图和有界树宽图上Steiner森林的近似方案。 (英语) Zbl 1293.68308号

第42届ACM计算理论年会论文集,STOC’10。2010年6月5日至8日,美国马萨诸塞州剑桥市。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-817-9)。211-220 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束分离和双分割问题的树宽缩减。 (英语) Zbl 1230.68113号

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–莱布尼茨国际信息学会议录5,561-572,仅电子版(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

近似分数超树宽度。 (英语) 兹比尔1423.05113

Mathieu,Claire(编辑),第20届ACM-SIAM离散算法年度研讨会论文集,SODA 2009,纽约州纽约市,美国,2009年1月4-6日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。902-911 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 链接

用真值表实现约束满足的可追踪结构。 (英语) Zbl 1236.68098号

Albers,Susanne(编辑)等人,STACS 2009。2009年2月26日至28日,德国弗莱堡,第26届计算机科学理论方面国际研讨会。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-09-5)。LIPIcs–莱布尼茨国际信息学会议录3,649-660,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

枚举同态。 (英语) Zbl 1236.68105号

Albers,Susanne(编辑)等人,STACS 2009。第26届计算机科学理论方面国际研讨会,德国弗赖堡,2009年2月26日至28日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-939897-09-5)。LIPIcs–莱布尼茨国际信息学会议录3,231-242,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段