×

找到8个文档(结果1-8)

发现易于驾驭的群岛以满足约束并进行计数。 (英语) Zbl 1410.68166号

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

稠密图类FO模型检查的一个新视角。 (英语) Zbl 1401.68196号

2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集,LICS 2016,美国纽约市,2016年7月5日至8日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。176-184 (2016).
PDF格式BibTeX公司 XML格式引用

强参数化删除:二部图。 (英语) Zbl 1391.68092号

Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第21条,第14页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于关联因子问题的复杂性。 (英语) Zbl 1398.68233号

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

一种快速的组反馈边集参数化算法。 (英语) 兹比尔1417.05228

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

混合剪切的参数化算法。 (英语) Zbl 1476.68216号

Kranakis,Evangelos(编辑)等人,《拉丁语2016:理论信息学》。第十二届拉丁美洲研讨会,墨西哥恩塞纳达,2016年4月11日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9644, 672-685 (2016).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

主字段

软件