×

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

符号彩色SCC分解。 (英语) Zbl 1474.68210号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 64-83 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

禁止转移图和边着色图中连通性问题的复杂性。 (英语) Zbl 07765417号

曹一新(编辑)等,第31届算法与计算国际研讨会,国际会计准则委员会2020年,中国香港,虚拟会议,2020年12月14日至18日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。181,第59条,第15页(2020年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

的内核化电弧不相交循环填料在\(\alpha\)-有界有向图中。 (英语) Zbl 07603935号

Fernau,Henning,计算机科学——理论与应用。2020年6月29日至7月3日,俄罗斯叶卡捷琳堡,第15届俄罗斯国际计算机科学研讨会,CSR 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12159, 367-378 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在比赛中包装弧线接头循环。 (英语) Zbl 07561671号

Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第27条,第14页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分裂图中的哈密顿性——二分法。 (英语) Zbl 1485.68199号

Gaur,Daya(编辑)等人,《算法与离散应用数学》。第三届国际会议,2017年2月16日至18日,印度果阿桑科尔,2017年CALDAM。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10156, 320-331 (2017).
PDF格式BibTeX公司 XML格式引用

边着色图中的路径和轨迹。 (英语) Zbl 1136.68445号

爱德华多·桑伊(Eduardo Sany)等,拉丁文2008:理论信息学。第八届拉丁美洲研讨会,2008年4月7日至11日,巴西布齐奥斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78772-3/pbk)。计算机科学课堂讲稿4957723-735(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份