卡尔·费格利;马利·马林 关于\(\mathbf的三点评论{西}_{\mathbf{2}}\)图。 (英语) Zbl 07807471号 西奥。计算。科学。 990,文章ID 114403,5 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Feghali}和\textit{M.Marin},Theor。计算。科学。990,文章ID 114403,5 p.(2024;Zbl 07807471) 全文: 内政部 arXiv公司
阿里特拉·巴尼克;普拉哈德·纳拉西姆汉(Prahlad Narasimhan),卡斯图里兰根(Kasthurirangan);文卡特什拉曼 几乎簇图中的支配染色和CD染色。 (英语) Zbl 07789699号 Morin,Pat(编辑)等人,《算法和数据结构》。2023年7月31日至8月2日,第18届WADS 2023国际研讨会,加拿大魁北克省蒙特利尔。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。14079, 106-119 (2023).MSC公司:68第05页 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{A.Banik}等人,Lect。票据计算。科学。14079、106-119(2023;Zbl 07789699) 全文: 内政部 arXiv公司
托马斯·迪索;纪尧姆·杜卡夫;尼塞,尼古拉斯;西蒙·尼维尔 系列平行图的树长。 (英语) Zbl 1526.05114号 离散应用程序。数学。 341,16-30(2023年).MSC公司:05C70号 05C12号 05二氧化碳 05C60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Dissaux}等人,《离散应用》。数学。341、16-30(2023年;Zbl 1526.05114) 全文: 内政部
Petr A.Golovach。;吉安诺斯·斯塔穆利斯;迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 平面图中的碰撞拓扑次模型是固定参数可处理的。 (英语) Zbl 07753174号 ACM事务处理。算法 19,第3号,第23号论文,29页(2023年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Golovach}等人,ACM Trans。算法19,第3号,论文23,29页(2023;Zbl 07753174) 全文: 内政部
纪尧姆·杜卡夫 有界围宽图上几乎线性时间内的最大匹配。 (英语) Zbl 07608297号 算法 84,第11号,3489-3520(2022).MSC公司:68瓦xx 05Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{G.Ducoff},Algorithmica 84,No.11,3489--3520(2022;Zbl 07608297) 全文: 内政部 哈尔
Carlos V.G.C.利马。;迪特尔·劳滕巴赫;苏扎,Uéverton S。;Szwarcfiter,Jayme L。 关于两分法匹配问题的计算复杂性。 (英语) Zbl 1497.05093号 安·Oper。物件。 316,编号:1235-1256(2022).MSC公司:05C15号 05年10月 65年第68季度 2017年第68季度 05C75号 05C70号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.V.G.C.Lima}等人,Ann.Oper。第316号决议,第21235-1256号(2022年;兹bl 1497.05093) 全文: 内政部 arXiv公司
Joáo Vinicius C.汤普森。;Loana T.诺盖拉。;法比奥·普罗蒂;拉克尔·S·F·布拉沃。;米特尔·杜拉多。;苏扎,Uéverton S。 路径凸性的一般框架。 (英语) Zbl 1495.90164号 J.库姆。最佳方案。 43,第5期,994-1009(2022).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.V.C.Thompson}等人,J.Comb。最佳方案。43,第5号,994--1009(2022;Zbl 1495.90164) 全文: 内政部 arXiv公司
佛罗里达州博诺莫-布拉伯曼;冈萨雷斯,卡罗琳娜·卢西亚 局部可检问题的一种新方法。 (英语) Zbl 1486.05293号 离散应用程序。数学。 314, 53-80 (2022).MSC公司:05C85号 05年6月29日 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonomo-Braberman}和\textit{C.L.Gonzalez},离散应用。数学。314,53-80(2022;Zbl 1486.05293) 全文: 内政部 arXiv公司
卡内罗、阿兰·迪戈·奥雷里奥;法比奥·普罗蒂;Uéverton dos Santos苏扎 关于无节点顶点删除:死锁解决图问题的细粒度参数化复杂性分析。 (英语) Zbl 07482358号 西奥。计算。科学。 909, 97-109 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.D.A.Carneiro}等人,Theor。计算。科学。909,97--109(2022;Zbl 07482358) 全文: 内政部
桑卡迪普查克拉波蒂;阿尼什·穆克吉;文卡特什拉曼;萨蒂,斯里尼瓦萨·拉奥 用于设计就地图形算法的框架。 (英语) Zbl 1485.68303号 J.计算。系统。科学。 123, 1-19 (2022). 审核人:阿里·沙基巴(拉夫桑) MSC公司:68周05 05C85号 68第05页 68页第10页 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人,《计算杂志》。系统。科学。123,1-19(2022年;兹比尔1485.68303) 全文: 内政部
西蒙·希里奇;这样啊,Ondřej 有界树宽图上的航路点路由。 (英语) Zbl 1472.68121号 信息处理。莱特。 173,文章ID 106165,9 p.(2022).MSC公司:68兰特 05C85号 68年第27季度 90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Š.Schierreich}和\textit{O.此类},Inf.过程。莱特。173,文章ID 106165,9 p.(2022;Zbl 1472.68121) 全文: 内政部 arXiv公司
大卫·A·科恩。;马丁·库珀。;彼得·杰文斯(Peter G.Jeavons)。;斯坦尼斯拉夫·伊文 模式的Galois连接:标记图的代数。 (英语) Zbl 1467.68176号 Cochez,Michael(编辑)等人,《知识表示和推理的图形结构》。第六届国际研讨会,GKR 2020,虚拟活动,2020年9月5日。修订了选定的论文。查姆:斯普林格。莱克特。票据计算。科学。12640, 125-150 (2021).MSC公司:68立方英尺 05C78号 2015年1月6日 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,Lect。票据计算。科学。12640、125-150(2021年;Zbl 1467.68176) 全文: 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 树分解图的代数。 (英语) Zbl 1502.68213号 Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12150203-220(2020年)。MSC公司:68兰特 05二氧化碳 05C25号 第68季度第42季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Lect。票据计算。科学。12150203-220(2020;Zbl 1502.68213) 全文: 内政部
彼得·科尔曼;马丁·库特克;汉斯·拉吉·蒂瓦里 扩展复杂性、MSO逻辑和树宽。 (英语) Zbl 1454.68158号 离散数学。西奥。计算。科学。 22,第4号,第8号论文,25页(2020年).MSC公司:68单位05 03B70号 68年第27季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Kolman}等人,《离散数学》。西奥。计算。科学。22,第4号,第8号论文,25页(2020年;Zbl 1454.68158) 全文: 内政部 链接
Masařík,托马什;托马斯·图法尔 公平删除问题的参数化复杂性。 (英语) Zbl 1437.05227号 离散应用程序。数学。 278,51-61(2020).MSC公司:05C99年 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Masařik}和\textit{T.Toufar},离散应用程序。数学。278、51-61(2020年;Zbl 1437.05227) 全文: 内政部 arXiv公司
本杰明·贝尔古诺;马马杜·穆斯塔法·坎特;Kwon、O-joung 有界团宽度图上哈密顿循环的最优XP算法。 (英语) Zbl 1433.68279号 算法 82,第6期,1654-1674(2020).MSC公司:68兰特 05立方38 05C45号 05C85号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.Bergougnoux}等人,Algorithmica 82,No.6,1654--1674(2020;Zbl 1433.68279) 全文: 内政部 arXiv公司
杜珊·克诺普;Masařík,托马什;托马斯·图法尔 公平顶点评估问题的参数化复杂性。 (英语) Zbl 07561677号 Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第33条,第16页(2019年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Knop}等人,LIPIcs——莱布尼茨国际程序。通知。138,第33条,第16页(2019年;Zbl 07561677) 全文: 内政部 arXiv公司
杜珊·克诺普;马丁·库特克;Masařík,托马什;托马斯·图法尔 MSO以外的简化算法元定理:树宽和邻域多样性。 (英语) Zbl 1427.68125号 日志。方法计算。科学。 15,第4号,第12号论文,32页(2019年).MSC公司:65年第68季度 03B16号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Knop}等人,日志。方法计算。科学。15,第4号,第12号论文,32页(2019年;Zbl 1427.68125) 全文: arXiv公司
金恩贞(Kim,Eun Jung);玛丽亚·塞尔纳;迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 稀疏图上参数化计数问题的数据压缩。 (英语) Zbl 1524.68156号 徐文莲(编辑)等,第29届算法与计算国际研讨会,2018年12月16日至19日,2018年国际算法与计算学会,台湾宜兰胶西。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。123,第20条,第13页(2018年)。MSC公司:68年第27季度 03B70号 05C30号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Kim}等人,LIPIcs——莱布尼茨国际程序。通知。123,第20条,第13页(2018;Zbl 1524.68156) 全文: 内政部 arXiv公司
小林,靖国;大冢和弘;久崎田木 一种改进的单页交叉最小化固定参数算法。 (英语) Zbl 1443.68135号 Lokshtanov,Daniel(编辑)等人,第十二届参数化和精确计算国际研讨会,2017年国际物理工程委员会,奥地利维也纳,2017年9月6日至8日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89,第25条,第12页(2018年)。MSC公司:68兰特 68年第27季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kobayashi}等人,LIPIcs——莱布尼茨国际期刊。通知。89,第25条,第12页(2018;Zbl 1443.68135) 全文: 内政部
戴维·埃普斯坦;丹尼斯·库兹 \树分解图上MSO问题的(k)-最佳解。 (英语) 兹比尔1443.68127 Lokshtanov,Daniel(编辑)等人,第十二届参数化和精确计算国际研讨会,2017年国际物理工程委员会,奥地利维也纳,2017年9月6日至8日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89,第16条,第13页(2018年)。MSC公司:68兰特 03B70号 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Eppstein}和\textit{D.Kurz},LIPIcs——莱布尼茨国际程序。通知。89,第16条,第13页(2018;Zbl 1443.68127) 全文: 内政部 arXiv公司
圣克里·罗德里格斯阿尔维斯;康拉德·K·达布罗夫斯基。;鲁尔比奥·法里亚;苏拉米塔·克莱因;伊格纳西·绍;苏扎,Uéverton S。 关于识别覆盖良好(\(r),\(ell\))-图的(参数化)复杂性。 (英语) Zbl 1400.68078号 西奥。计算。科学。 746, 36-48 (2018).MSC公司:65年第68季度 05C70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Alves}等人,Theor。计算。科学。746,36-48(2018;Zbl 1400.68078) 全文: 内政部
杰西卡·恩赖特;米克斯,基蒂 删除边缘以限制流行病的规模:一个新的树宽应用程序。 (英语) Zbl 1388.05174号 算法 80,第6期,1857-1889(2018).MSC公司:05C82号 05C85号 05C90年 92天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.Enright}和\textit{K.Meeks},《算法》80,第6期,1857--1889(2018;Zbl 1388.05174) 全文: 内政部 arXiv公司 链接
Masařík,托马什;托马斯·图法尔 公平删除问题的参数化复杂性。 (英语) Zbl 1485.68192号 Gopal,T.V.(编辑)等人,《计算模型的理论和应用》。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10185, 628-642 (2017).MSC公司:68兰特 68年第27季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{T.Masařík}和\textit{T.Toufar},Lect。票据计算。科学。10185,628--642(2017;Zbl 1485.68192) 全文: 内政部 arXiv公司
佛罗伦萨福柯;乔治·默齐奥斯(George B.Mertzios)。;雷扎·纳塞拉斯;阿琳·帕罗;佩特鲁·瓦利科夫 区间图和置换图上的标识、位置支配和度量维数。一: 边界。 (英语) 兹比尔1358.05216 西奥。计算。科学。 668, 43-58 (2017).MSC公司:05年6月29日 94B60码 94B65个 PDF格式BibTeX公司 XML格式引用 \textit{F.Foucaud}等人,Theor。计算。科学。668,43-58(2017;Zbl 1358.05216) 全文: 内政部 arXiv公司
本杰明·伯顿(Benjamin A.Burton)。;罗德尼·G·唐尼。 三角形的库塞尔定理。 (英语) 兹比尔1353.05122 J.库姆。理论,Ser。A类 146, 264-294 (2017).MSC公司:05C99年 2015年第57季度 14号35 57N10号 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Burton}和\textit{R.G.Downey},J.Comb。理论,Ser。A 146,264--294(2017;Zbl 1353.05122) 全文: 内政部 arXiv公司
阿伦·阿德科克(Aaron B.Adcock)。;布莱尔·沙利文。;迈克尔·马奥尼。 树分解和社会图。 (英语) Zbl 1461.68139号 互联网数学。 12,第5号,315-361(2016).MSC公司:68兰特 05二氧化碳 05C70号 68T20型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Adcock}等人,《互联网数学》。12,第5号,315--361(2016;Zbl 1461.68139) 全文: 内政部 arXiv公司
大卫·库德特;多里安·马扎里奇;尼塞,尼古拉斯 计算路径宽度和定向路径宽度的分支定界算法的实验评估。 (英语) Zbl 1365.90273号 ACM J.实验算法。 21,第1.3条,第23页(2016年).MSC公司:90C57型 05C85号 68周05 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Coudert}等人,ACM J.实验算法。21,第1.3条,23 p.(2016;Zbl 1365.90273) 全文: 内政部 哈尔
艾索尔德·阿德勒;斯塔夫罗斯·科利奥普洛斯(Stavros G.Kolliopoulos)。;迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 平面分离路径完成。 (英语) 兹比尔1350.68121 算法 76,第2期,401-425(2016).MSC公司:65年第68季度 05年10月 05立方38 PDF格式BibTeX公司 XML格式引用 \textit{I.Adler}等人,Algorithmica 76,No.2,401-425(2016;Zbl 1350.68121) 全文: 内政部 链接
费多尔·福明。;丹尼尔·洛克斯塔诺夫;内尔德哈拉·米斯拉;菲利普·格瓦尔盖塞;萨科特·索拉布 打击被禁止的未成年人:近似和核化。 (英语) Zbl 1336.68123号 SIAM J.离散数学。 30,第1期,383-410(2016).MSC公司:65年第68季度 05C83号 05C85号 68兰特 68周25 PDF格式BibTeX公司 XML格式引用 \textit{F.V.Fomin}等人,SIAM J.离散数学。30,第1号,383--410(2016;Zbl 1336.68123) 全文: 内政部 链接
布鲁诺·库塞尔;艾琳·杜兰德 超越一元二阶逻辑的飞行自动机计算。 (英语) Zbl 1335.68116号 西奥。计算。科学。 619, 32-67 (2016).MSC公司:65年第68季度 05年3月 05C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Durand},Theor。计算。科学。619、32-67(2016年;Zbl 1335.68116) 全文: 内政部 arXiv公司
费多尔·福明。;爱荷华州托丹加;Yngve村 基于三角剖分和CMSO的大诱导子图。 (英语) Zbl 1357.05144号 SIAM J.计算。 44,第1期,54-87(2015).MSC公司:05C85号 05年6月29日 68瓦40 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.V.Fomin}等人,SIAM J.Compute。44,第1号,第54-87条(2015;Zbl 1357.05144) 全文: 内政部 arXiv公司
杰西卡·恩赖特;米克斯,基蒂 删除边缘以限制流行病的规模:一个新的树宽应用程序。 (英语) Zbl 1475.92159号 Lu,Zaixin(编辑)等,组合优化与应用。第九届国际会议,COCOA 2015,美国德克萨斯州休斯顿,2015年12月18-20日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9486, 574-585 (2015).MSC公司:92天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.恩赖特}和\textit{K.米克斯},莱克特。票据计算。科学。9486、574--585(2015;Zbl 1475.92159) 全文: 内政部 链接
A.科索夫斯基。;Li,B。;尼西,N。;苏姗,K。 \(k\)-弦图:从警察和强盗到通过树宽的紧凑路由。 (英语) Zbl 1328.68152号 算法 72,第3期,758-777(2015).MSC公司:68兰特 05年5月57日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kosowski}等人,Algorithmica 72,No.3,758--777(2015;Zbl 1328.68152) 全文: 内政部
佛罗伦萨福柯 限制图类中识别码和定位支配集的决策和近似复杂性。 (英语) Zbl 1325.05166号 J.离散算法 31, 48-68 (2015).MSC公司:05C85号 05年6月29日 2017年第68季度 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{F.Foucaud},J.离散算法31,48--68(2015;Zbl 1325.05166) 全文: 内政部 哈尔
萨默·诺法尔;凯蒂·阿特金森;保罗·E·邓恩。 优选语义下论元系统决策问题的算法。 (英语) Zbl 1334.68210号 Artif公司。智力。 207, 23-51 (2014).MSC公司:68T27型 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Nofal}等人,Artif。智力。207、23--51(2014年;Zbl 1334.68210) 全文: 内政部
亚历山大·兰格;费利克斯·雷德尔;彼得·罗斯马尼思;索姆纳特·锡达尔 树分解图上MSO模型检验的实用算法。 (英语) Zbl 1302.68184号 计算。科学。版次。 13-14, 39-74 (2014).MSC公司:60年第68季度 03B70号 03B15号机组 05C70号 05C85号 68兰特 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Langer}等人,计算。科学。修订版13-14,39-74(2014;兹bl 1302.68184) 全文: 内政部
吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 列举CSP解决方案的结构可处理性。 (英语) Zbl 1310.05151号 约束条件 18,第1期,38-74(2013).MSC公司:05C65号 05二氧化碳 05C30号 05月51日 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}和\textit{F.Scarcello},《约束18》,第1期,第38--74页(2013;Zbl 1310.05151) 全文: 内政部 arXiv公司
Bodlaender,Hans L。;Bart M.P.Jansen。;斯特凡·克拉奇 路径和循环问题的内核边界。 (英语) Zbl 1407.68207号 西奥。计算。科学。 511, 117-136 (2013).MSC公司:65年第68季度 05立方38 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Bodlaender}等人,Theor。计算。科学。511117--136(2013;Zbl 1407.68207) 全文: 内政部
Bodlaender,Hans L。 树宽和路宽的固定参数可处理性。 (英语) Zbl 1358.68119号 Bodlaender,Hans L.(编辑)等人,《多元算法革命及其以外》。纪念迈克尔·R·费罗斯60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-30890-1/pbk)。计算机科学课堂讲稿7370196-227(2012)。MSC公司:65年第68季度 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Bodlaender},莱克特。票据计算。科学。7370196-227(2012年;Zbl 1358.68119) 全文: 内政部
罗德尼·G·唐尼。;迪米特里奥斯·蒂利科斯(Dimitrios M.Thilikos)。 通过参数面对棘手的问题。 (英语) Zbl 1298.68094号 计算。科学。版次。 5,第4号,279-317(2011).MSC公司:2015年第68季度 65年第68季度 2017年第68季度 68瓦40 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}和\textit{D.M.Thilikos},计算。科学。第5版,第4号,279--317(2011;Zbl 1298.68094) 全文: 内政部 arXiv公司
约阿希姆·奈伊斯;亚历山大·兰格;彼得·罗斯马尼思 库塞尔定理——一种博弈论方法。 (英语) Zbl 1235.68103号 离散优化。 8,第4号,568-594(2011).MSC公司:60年第68季度 03B15号机组 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kneis}等人,《离散优化》。8,第4号,568--594(2011;Zbl 1235.68103) 全文: 内政部
亚历山大·兰格;彼得·罗斯马尼思;索姆纳特·锡达尔 有界秩宽图的线性时间算法:使用博弈论的新观点(扩展抽象)。 (英语) 兹比尔1331.68111 Ogihara,Mitsunori(编辑)等人,《计算模型的理论和应用》。2011年5月23日至25日在日本东京举行的TAMC 2011第八届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-20876-8/pbk)。计算机科学讲座笔记6648,505-516(2011)。MSC公司:65年第68季度 05C85号 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{A.Langer}等人,Lect。票据计算。科学。6648505--516(2011;Zbl 1331.68111) 全文: 内政部
乔治·戈特洛布;莱因哈德·皮克勒;魏芳 有界树宽度是知识表示和推理可处理性的关键。 (英语) Zbl 1185.68690号 Artif公司。智力。 174,第1期,第105-132页(2010年).MSC公司:68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,Artif。智力。174,编号1,105--132(2010;Zbl 1185.68690) 全文: 内政部
约阿希姆·奈伊斯;亚历山大·兰格 库塞尔定理的实用方法。 (英语) Zbl 1291.03077号 采什卡,米兰(编辑)等人,计算机科学中数学和工程方法国际博士研讨会论文集(MEMICS 2008),捷克共和国兹诺伊莫,2008年11月14日至16日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记251,65-81(2009)。MSC公司:05年3月 05C85号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kneis}和\textit{A.Langer},电子。注释Theor。计算。科学。251、65-81(2009年;Zbl 1291.03077) 全文: 内政部
死亡,尤苏;西里尔·加沃维尔 关于平面图的树宽。 (英语) Zbl 1273.05038号 Nešetřil,Jaroslav(ed.)et al.,第五届欧洲组合学、图论和应用会议的扩展摘要,EuroComb'09,法国波尔多,2009年9月7日至11日。阿姆斯特丹:爱思唯尔。离散数学电子笔记34,593-596(2009)。MSC公司:05二氧化碳 05年10月 05C12号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dieng}和\textit{C.Gavoille},电子。注释离散数学。34、593--596(2009年;Zbl 1273.05038) 全文: 内政部
伊藤武弘;周,肖;西泽高雄 供需分区图。 (英语) Zbl 1211.05129号 离散应用程序。数学。 157,第12期,2620-2633(2009).MSC公司:05C70号 05C90年 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ito}等人,《离散应用》。数学。157,第12号,2620--2633(2009年;兹bl 1211.05129) 全文: 内政部
弗雷德里克·卡雷 由截宽表达式定义的图的归纳计算。 (英语) Zbl 1176.68139号 西奥。通知。申请。 43,第3号,625-651(2009).MSC公司:68兰特 90立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{F.Carrère},Theor。通知。申请。43,第3号,625--651(2009;Zbl 1176.68139) 全文: 内政部 Numdam编号 欧洲DML
弗兰克·古尔斯基;万克,伊贡 有界树宽图的幂的NLC-宽度和clique-width。 (英语) Zbl 1173.05342号 离散应用程序。数学。 157,第4期,583-595(2009).MSC公司:05年6月29日 05立方38 PDF格式BibTeX公司 XML格式引用 \textit{F.Gurski}和\textit{E.Wanke},离散应用程序。数学。157,第4号,583--595(2009;Zbl 1173.05342) 全文: 内政部
克劳斯·米尔;迪特尔·劳滕巴赫 关于有界树和剪接宽度图的OBDD大小。 (英语) Zbl 1177.68100号 离散数学。 309,第4期,843-851(2009).MSC公司:65年第68季度 05立方厘米35 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer}和\textit{D.Rautenbach},离散数学。309,第4号,843--851(2009;Zbl 1177.68100) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑:算法和语言理论应用。 (英语) 兹比尔1234.03023 Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457,19-22(2009)。MSC公司:05年3月 03B15号机组 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},莱克特。票据计算。科学。5457、19-22(2009年;Zbl 1234.03023) 全文: 内政部
克里斯蒂娜·费尔南德斯。;奥兰多·李;Yoshiko Wakabayashi 树宽有界的混合图的最小圈覆盖和中国邮递员问题。 (英语) Zbl 1168.05318号 离散应用程序。数学。 157,第2期,272-279(2009).MSC公司:05立方厘米35 05立方38 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Fernandes}等人,《离散应用》。数学。157,第2号,272--279(2009;Zbl 1168.05318) 全文: 内政部
费舍尔(E.Fischer)。;Makowsky,J.A。;E.V.拉夫。 计算有界树宽或截宽公式的真值赋值。 (英语) Zbl 1131.68093号 离散应用程序。数学。 156,第4号,511-529(2008).MSC公司:68吨15 68T20型 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.Fischer}等人,《离散应用》。数学。156,编号4,511--529(2008;Zbl 1131.68093) 全文: 内政部
弗兰克·古尔斯基;万克,伊贡 树幂图和叶幂图的剪接宽度。(扩展摘要)。 (英语) Zbl 1141.68531号 Brandstädt,Andreas(编辑)等人,《计算机科学中的图论概念》。2007年6月21日至23日在德国多恩堡举行的2007年工作组第33届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-74838-0/pbk)。计算机科学课堂讲稿4769,76-85(2007)。MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Gurski}和\textit{E.Wanke},莱克特。票据计算。科学。4769,76-85(2007年;Zbl 1141.68531) 全文: 内政部
俄亥俄州谢尔比纳。 树分解和离散优化问题:综述。 (英语。俄文原件) Zbl 1144.90505号 赛博。系统。分析。 43,第4号,549-562(2007); 翻译自Kibern。修女。分析。2007年,第4期,第102-118页(2007年)。MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{O.A.Shcherbina},Cybern。系统。分析。43,第44549-562号(2007年;兹bl 1144.90505);翻译自Kibern。修女。分析。2007年,第4期,第102--118号(2007年) 全文: 内政部
伊藤武弘;阿基拉·加藤;周,肖;西泽高雄 求图的距离边缘颜色的算法。 (英语) Zbl 1125.05099号 J.离散算法 5,第2号,304-322(2007).MSC公司:05C85号 05C15号 05C12号 68兰特 68周25 PDF格式BibTeX公司 XML格式引用 \textit{T.Ito}等人,J.离散算法5,No.2,304--322(2007;Zbl 1125.05099) 全文: 内政部
弗兰克·古尔斯基;万克,伊贡 线图有界剪接宽度的局部特征。 (英语) Zbl 1114.05088号 离散数学。 307,第6号,756-759(2007).MSC公司:05C75号 PDF格式BibTeX公司 XML格式引用 \textit{F.Gurski}和\textit{E.Wanke},离散数学。307,第6号,756--759(2007;Zbl 1114.05088) 全文: 内政部
弗兰克·古尔斯基 用图形测量邻里关系的线性布局。 (英语) Zbl 1103.68093号 离散数学。 306,第15号,1637-1650(2006).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Gurski},离散数学。306,第15号,1637--1650(2006;Zbl 1103.68093) 全文: 内政部
马丁·查尔斯·格伦比奇;阿维亚德·明茨;乌迪·罗蒂斯 使用配图和正态性以及与偏树相关的函数的可读性对一次性读取函数进行分解和识别。 (英语) Zbl 1131.68072号 离散应用程序。数学。 154,编号10,1465-1477(2006).MSC公司:68兰特 05C85号 65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Golumbic}等人,《离散应用》。数学。154,第10号,1465--1477(2006;Zbl 1131.68072) 全文: 内政部
彼得·赫林;西塞,德特勒夫 树、网格和MSO可判定性:从图到拟阵。 (英语) 邮编1093.03006 西奥。计算。科学。 351,第3期,372-393(2006).MSC公司:03B25号 03B15号机组 05B35号 PDF格式BibTeX公司 XML格式引用 \textit{P.Hliněn}和\textit{D.Seese},Theor。计算。科学。351,第3号,372--393(2006;Zbl 1093.03006) 全文: 内政部
Bodlaender,Hans L。;Arie M.C.A.科斯特。 树宽安全分隔物。 (英语) Zbl 1084.05065号 离散数学。 306,第3期,337-350(2006).MSC公司:05C85号 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Bodlaender}和\textit{A.M.C.A.Koster},离散数学。306,第3号,337--350(2006;Zbl 1084.05065) 全文: 内政部 链接
斯蒂芬·凯普瑟 用一元二阶逻辑在线性时间内查询语言树库。 (英语) Zbl 1067.68154号 J.逻辑语言信息。 13,第4期,457-470(2004).MSC公司:68T50型 65年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Kepser},J.Logic Lang.Inf.13,No.4,457--470(2004;Zbl 1067.68154) 全文: 内政部
Makowsky,J.A。 费费曼-沃特定理的算法应用。 (英语) 邮编1099.03009 Ann.纯粹应用。逻辑 126,编号1-3,159-213(2004). 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03B25号 03C40号 03B15号机组 65年第68季度 05C85号 05年6月29日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky},Ann.《纯粹的应用》。逻辑126,No.1--3159-213(2004;Zbl 1099.03009) 全文: 内政部
库塞尔,B。;香草,R。 有界剪接宽度图的查询高效实现。 (英语) Zbl 1029.68113号 离散应用程序。数学。 131,编号129-150(2003).MSC公司:68兰特 05C78号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{R.Vanica},离散应用。数学。131,第1号,129--150(2003;Zbl 1029.68113) 全文: 内政部
Makowsky,J.A。;马里诺,J.P。 树宽度和一元量词层次结构。 (英语) Zbl 1044.68130号 西奥。计算。科学。 303,第1期,157-170(2003).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky}和\textit{J.P.Marioño},Theor。计算。科学。303,第1号,157--170(2003;Zbl 1044.68130) 全文: 内政部
迈克尔·格伯(Michael U.Gerber)。;丹尼尔·科布勒 固定剪接宽度图上顶点划分问题的算法。 (英语) Zbl 1042.68092号 西奥。计算。科学。 299,编号1-3,719-734(2003).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.U.Gerber}和\textit{D.Kobler},Theor。计算。科学。299,编号1--3,719--734(2003;Zbl 1042.68092) 全文: 内政部 反向链接: 卫生官员
布鲁诺·库塞尔 图的一元二阶逻辑。十四: 一致稀疏图和边集量化。 (英语) Zbl 1038.68048号 西奥。计算。科学。 299,第1-3、1-36号(2003年).MSC公司:2015年第68季度 03B15号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。299,编号1-3,1-36(2003年;Zbl 1038.68048) 全文: 内政部
文森特·布奇特;爱荷华州托丁卡 列出图的所有潜在最大团。 (英语) Zbl 1002.68104号 西奥。计算。科学。 276,编号1-2,17-32(2002).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Bouchitté}和\textit{I.Todinca},Theor。计算。科学。276,编号1--2,17-32(2002;Zbl 1002.68104) 全文: 内政部
库塞尔,B。;Makowsky,J.A。;美国Rotics。 关于一元二阶逻辑中可定义的图枚举问题的固定参数复杂性。 (英语) Zbl 0972.05023号 离散应用程序。数学。 108,第1-2、23-52号(2001年). 审核人:Hans L.Bodlaender(乌得勒支) MSC公司:05C30号 03B15号机组 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}等人,《离散应用》。数学。108,编号1--2,23-52(2001;Zbl 0972.05023) 全文: 内政部
布洛克,罗德里克;约斯特·恩格尔弗里特 一元二阶逻辑和属性文法定义的树转导的比较。 (英语) Zbl 0960.68086号 J.计算。系统。科学。 61,第1期,1-50页(2000年).MSC公司:第68季度第42季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}和\textit{J.Engelfriet},J.Comput。系统。科学。61,第1号,1--50(2000;Zbl 0960.68086) 全文: 内政部 链接
布鲁诺·库塞尔 图的一元二阶逻辑。XII: 平面图和平面地图。 (英语) Zbl 0951.03004号 西奥。计算。科学。 237,第1-2、1-32号(2000年). 审核人:M.Steinby(图尔库) MSC公司:03B15号机组 05C99年 05年10月 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。237,编号1-2,1-32(2000;兹bl 0951.03004) 全文: 内政部
布鲁诺·库塞尔;斯蒂芬·奥拉里奥 图的团宽度的上限。 (英语) Zbl 0958.05105号 离散应用程序。数学。 101,编号1-3,77-114(2000). 审核人:迈克尔·雷恩斯(卡拉马祖) MSC公司:05C70号 05立方厘米35 05C78号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{S.Olariu},离散应用。数学。101,编号1--3,77-114(2000;Zbl 0958.05105) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十一: 连通图的层次分解。 (英语) Zbl 0938.03015号 西奥。计算。科学。 224,编号1-2,35-58(1999). 审核人:M.Steinby(图尔库) MSC公司:03B15号机组 03C85号 05C40号 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。224,编号1--2,35-58(1999;Zbl 0938.03015) 全文: 内政部
柯克帕特里克,D.G。;雷迪,K.马杜卡;C.Pandu Rangan;A.斯里尼瓦桑。 有向图的部分和完全路径覆盖。 (英语) Zbl 0918.05082号 离散应用程序。数学。 89,编号1-3143-153(1998).MSC公司:05C70号 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Kirkpatrick}等人,《离散应用》。数学。89,编号1--3,143-153(1998;Zbl 0918.05082) 全文: 内政部
克劳斯·巴塞尔曼 有限关系结构上的非确定性操作。 (英语) Zbl 0916.08004号 西奥。计算。科学。 200,第1-2、1-44号(1998年). 审核人:M.Armbrust(科伦) MSC公司:08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.巴塞尔曼},Theor。计算。科学。200,编号1--2,1--44(1998;Zbl 0916.08004) 全文: 内政部
Bodlaender,Hans L。 树宽有界的图的部分k-树丛。 (英语) 兹伯利0912.68148 西奥。计算。科学。 209,第1-2、1-45号(1998年).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Bodlaender},Theor。计算。科学。209,编号1--2,1--45(1998;Zbl 0912.68148) 全文: 内政部
米克尔·索洛普 所有结构化程序都具有较小的树宽度和良好的寄存器分配。 (英语) Zbl 0924.68023号 Inf.计算。 142,第2期,159-181(1998). 审核人:A.V.Anisimov(基辅) MSC公司:68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Thorup},信息计算。142,No.2,159--181(1998;Zbl 0924.68023) 全文: 内政部
法兰克·德雷维斯;约斯特·恩格尔弗里特 树转导范围有限性的可判定性。 (英语) Zbl 1034.68525号 Inf.计算。 145,第1期,1-50页(1998年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}和\textit{J.Engelfriet},Inf.Compute。145,第1号,1-50(1998;Zbl 1034.68525) 全文: 内政部 链接
托本·哈格鲁普 有界树宽图的动态算法。 (英语) Zbl 1401.68248号 Degano,Pierpaolo(编辑)等人,《自动化,语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林:Springer-Verlag(ISBN 978-3-540-63165-1/pbk;978-3-540-69194-5/电子书)。《计算机科学讲义》1256292-302(1997)。MSC公司:68兰特 03B70号 05C78号 05C85号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Hagerup},莱克特。票据计算。科学。1256292-302(1997年;兹bl 1401.68248) 全文: 内政部
约斯特·恩格尔弗里特;文森特·范·奥斯特罗姆 无上下文图形语言的逻辑描述。 (英语) Zbl 0897.68061号 J.计算。系统。科学。 55,第3期,489-503(1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{V.van Oostrom},J.Compute。系统。科学。55,第3号,489--503(1997;Zbl 0897.68061) 全文: 内政部 链接
凯文·卡特尔;迈克尔·丁尼恩(Michael J.Dinneen)。;研究员Michael R。 一种简单的线性时间算法,用于查找小宽度的路径分解。 (英语) Zbl 0875.68699号 信息处理。莱特。 57,第4期,197-203(1996).MSC公司:68兰特 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Cattell}等人,《信息处理》。莱特。57,第4号,197--203(1996;Zbl 0875.68699) 全文: 内政部 arXiv公司
穆罕默德·莫斯巴 概率超边替换文法。 (英语) Zbl 0872.68098号 西奥。计算。科学。 159,第1期,81-102(1996).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Mosbah},Theor。计算。科学。159,编号1,81--102(1996;Zbl 0872.68098) 全文: 内政部
布鲁诺·库塞尔 语言理论和图文法的泛代数的基本概念。 (英语) Zbl 0874.68170号 西奥。计算。科学。 163,编号1-2,1-54(1996).MSC公司:65年第68季度 08A70号 68兰特 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。163,编号1--2,1--54(1996;Zbl 0874.68170) 全文: 内政部
库塞尔,B。;Engelfriet,J。 由超边替换文法定义的超图集的逻辑特征。 (英语) Zbl 0830.68098号 数学。系统。理论 28,第6期,515-552(1995).MSC公司:68兰特 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Engelfriet},数学。系统。理论28,第6号,515--552(1995;Zbl 0830.68098)
布鲁诺·库塞尔 图的一元二阶逻辑。八: 方向。 (英语) Zbl 0830.03016号 Ann.纯粹应用。逻辑 72,第2期,第103-143页(1995年). 审核人:M.Steinby(图尔库) MSC公司:03C85号 03B25号 68兰特 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},Ann.纯苹果。逻辑72,No.2,103--143(1995;Zbl 0830.03016) 全文: 内政部
赫尔穆特·塞德尔 方程在\(\mathcal{N}\)上的最小解。 (英语) Zbl 1422.68036号 Abiteboul,Serge(编辑)等人,《自动化,语言和编程》。第21届国际学术讨论会,ICALP’94,以色列耶路撒冷,1994年7月11日至14日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。820, 400-411 (1994).MSC公司:68号30 06B35号 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl},莱克特。票据计算。科学。820400--411(1994;Zbl 1422.68036) 全文: 内政部
赫尔穆特·塞德尔 具有成本函数的有限树自动机。 (英语) Zbl 0805.68085号 西奥。计算。科学。 126,第1期,113-142(1994).MSC公司:70年第68季度 20立方米 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl},Theor(西奥)。计算。科学。126,编号113-142(1994年;兹bl 0805.68085) 全文: 内政部
布鲁诺·库塞尔 一元二阶可定义图变换:综述。 (英语) Zbl 0805.68077号 西奥。计算。科学。 126,第1期,第53-75页(1994年).MSC公司:65年第68季度 第68季度第42季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。126,编号1,53--75(1994;Zbl 0805.68077) 全文: 内政部
A.哈贝尔。;Kreowski,H.-J。;劳特曼,C。 相容图、有限图和归纳图属性的比较。 (英语) Zbl 0771.68079号 西奥。计算。科学。 110,第1期,145-168(1993).MSC公司:第68季度第42季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}等人,Theor。计算。科学。110,第1号,145--168(1993;Zbl 0771.68079) 全文: 内政部
库塞尔,B。 图的一元二阶逻辑。三: 树分解、子项和复杂性问题。 (英语) Zbl 0754.03006号 RAIRO,通知。塞奥尔。申请。 26,第3期,257-286(1992). 审核人:李翔(贵阳) MSC公司:03B15号机组 65年第68季度 第68季度第42季度 03B25号 68兰特 05二氧化碳 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},RAIRO,通知。塞奥尔。申请。26,第3号,257--286(1992;Zbl 0754.03006) 全文: 内政部 欧洲DML 链接