发布求助
文献互助 智能选刊 最新文献

International Symposium on Parameterized and Exact Computation最新文献

筛选
英文 中文
Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem 声明式动态规划作为库塞尔定理的另一种实现
International Symposium on Parameterized and Exact Computation Pub Date : 2013-09-04 DOI: 10.1007/978-3-319-03898-8_4
B. Bliem, R. Pichler, S. Woltran
{"title":"Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem","authors":"B. Bliem, R. Pichler, S. Woltran","doi":"10.1007/978-3-319-03898-8_4","DOIUrl":"https://doi.org/10.1007/978-3-319-03898-8_4","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122400625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
The Jump Number Problem: Exact and Parameterized 跳数问题:精确和参数化
International Symposium on Parameterized and Exact Computation Pub Date : 2013-09-04 DOI: 10.1007/978-3-319-03898-8_20
D. Kratsch, Stefan Kratsch
{"title":"The Jump Number Problem: Exact and Parameterized","authors":"D. Kratsch, Stefan Kratsch","doi":"10.1007/978-3-319-03898-8_20","DOIUrl":"https://doi.org/10.1007/978-3-319-03898-8_20","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126556250","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Incompressibility of H-Free Edge Modification 无h边修正的不可压缩性
International Symposium on Parameterized and Exact Computation Pub Date : 2013-09-04 DOI: 10.1007/978-3-319-03898-8_9
L. Cai, Yufei Cai
{"title":"Incompressibility of H-Free Edge Modification","authors":"L. Cai, Yufei Cai","doi":"10.1007/978-3-319-03898-8_9","DOIUrl":"https://doi.org/10.1007/978-3-319-03898-8_9","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130507662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
Hardness of r-dominating set on Graphs of Diameter (r + 1) 直径为(r + 1)图上r-支配集的硬度
International Symposium on Parameterized and Exact Computation Pub Date : 2013-09-04 DOI: 10.1007/978-3-319-03898-8_22
D. Lokshtanov, Neeldhara Misra, Geevarghese Philip, M. Ramanujan, Saket Saurabh
{"title":"Hardness of r-dominating set on Graphs of Diameter (r + 1)","authors":"D. Lokshtanov, Neeldhara Misra, Geevarghese Philip, M. Ramanujan, Saket Saurabh","doi":"10.1007/978-3-319-03898-8_22","DOIUrl":"https://doi.org/10.1007/978-3-319-03898-8_22","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115454924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Treewidth and Pure Nash Equilibria 树宽均衡和纯纳什均衡
International Symposium on Parameterized and Exact Computation Pub Date : 2013-09-04 DOI: 10.1007/978-3-319-03898-8_29
Antonis Thomas, J. Leeuwen
{"title":"Treewidth and Pure Nash Equilibria","authors":"Antonis Thomas, J. Leeuwen","doi":"10.1007/978-3-319-03898-8_29","DOIUrl":"https://doi.org/10.1007/978-3-319-03898-8_29","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123995961","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Completeness Results for Parameterized Space Classes 参数化空间类的完备性结果
International Symposium on Parameterized and Exact Computation Pub Date : 2013-08-13 DOI: 10.1007/978-3-319-03898-8_28
Christoph Stockhusen, Till Tantau
{"title":"Completeness Results for Parameterized Space Classes","authors":"Christoph Stockhusen, Till Tantau","doi":"10.1007/978-3-319-03898-8_28","DOIUrl":"https://doi.org/10.1007/978-3-319-03898-8_28","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"47 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125711299","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs z拓扑可序有向图上满足MSO性质的子图
International Symposium on Parameterized and Exact Computation Pub Date : 2013-03-18 DOI: 10.1007/978-3-319-03898-8_12
Mateus de Oliveira Oliveira
{"title":"Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs","authors":"Mateus de Oliveira Oliveira","doi":"10.1007/978-3-319-03898-8_12","DOIUrl":"https://doi.org/10.1007/978-3-319-03898-8_12","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125261752","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
On Tractable Parameterizations of Graph Isomorphism 图同构的可处理参数化
International Symposium on Parameterized and Exact Computation Pub Date : 2012-09-12 DOI: 10.1007/978-3-642-33293-7_21
Adam Bouland, A. Dawar, Eryk Kopczynski
{"title":"On Tractable Parameterizations of Graph Isomorphism","authors":"Adam Bouland, A. Dawar, Eryk Kopczynski","doi":"10.1007/978-3-642-33293-7_21","DOIUrl":"https://doi.org/10.1007/978-3-642-33293-7_21","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122960367","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
The Path Taken for k-Path k-Path的路径选择
International Symposium on Parameterized and Exact Computation Pub Date : 2012-09-12 DOI: 10.1007/978-3-642-33293-7_1
Andreas Björklund
{"title":"The Path Taken for k-Path","authors":"Andreas Björklund","doi":"10.1007/978-3-642-33293-7_1","DOIUrl":"https://doi.org/10.1007/978-3-642-33293-7_1","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125927220","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Polynomial Time and Parameterized Approximation Algorithms for Boxicity 利于性的多项式时间和参数化逼近算法
International Symposium on Parameterized and Exact Computation Pub Date : 2012-09-12 DOI: 10.1007/978-3-642-33293-7_14
Abhijin Adiga, Jasine Babu, L. S. Chandran
{"title":"Polynomial Time and Parameterized Approximation Algorithms for Boxicity","authors":"Abhijin Adiga, Jasine Babu, L. S. Chandran","doi":"10.1007/978-3-642-33293-7_14","DOIUrl":"https://doi.org/10.1007/978-3-642-33293-7_14","url":null,"abstract":"","PeriodicalId":137775,"journal":{"name":"International Symposium on Parameterized and Exact Computation","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130123832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信