Pub Date : 2018-06-06DOI: 10.1007/978-3-319-90530-3_8
R. Chitnis, Nimrod Talmon
{"title":"Can We Create Large k-Cores by Adding Few Edges?","authors":"R. Chitnis, Nimrod Talmon","doi":"10.1007/978-3-319-90530-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-90530-3_8","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"307 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132634701","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}
Pub Date : 2018-06-06DOI: 10.1007/978-3-319-90530-3_24
Artur Riazanov
{"title":"On the Decision Trees with Symmetries","authors":"Artur Riazanov","doi":"10.1007/978-3-319-90530-3_24","DOIUrl":"https://doi.org/10.1007/978-3-319-90530-3_24","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132724339","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}
Pub Date : 2018-06-06DOI: 10.1007/978-3-319-90530-3_21
Jayakrishnan Madathil, Saket Saurabh, M. Zehavi
{"title":"Max-Cut Above Spanning Tree is Fixed-Parameter Tractable","authors":"Jayakrishnan Madathil, Saket Saurabh, M. Zehavi","doi":"10.1007/978-3-319-90530-3_21","DOIUrl":"https://doi.org/10.1007/978-3-319-90530-3_21","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"25 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114030417","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}
Pub Date : 2018-05-21DOI: 10.1007/978-3-030-19955-5_28
D. Ponomaryov
{"title":"A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs","authors":"D. Ponomaryov","doi":"10.1007/978-3-030-19955-5_28","DOIUrl":"https://doi.org/10.1007/978-3-030-19955-5_28","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124642608","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}
Pub Date : 2018-01-07DOI: 10.1007/978-3-030-19955-5_3
Elena Arseneva, P. Bose, J. Carufel, S. Verdonschot
{"title":"Reconstructing a Convex Polygon from Its omega ω -cloud","authors":"Elena Arseneva, P. Bose, J. Carufel, S. Verdonschot","doi":"10.1007/978-3-030-19955-5_3","DOIUrl":"https://doi.org/10.1007/978-3-030-19955-5_3","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129229478","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}
Pub Date : 2017-10-19DOI: 10.1007/978-3-319-90530-3_19
Michał Karpiński, Krzysztof Piecuch
{"title":"On vertex coloring without monochromatic triangles","authors":"Michał Karpiński, Krzysztof Piecuch","doi":"10.1007/978-3-319-90530-3_19","DOIUrl":"https://doi.org/10.1007/978-3-319-90530-3_19","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"161 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127050519","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}
Pub Date : 2017-06-08DOI: 10.1007/978-3-319-58747-9_28
P. Wojciechowski, R. Chandrasekaran, K. Subramani
{"title":"On a Generalization of Horn Constraint Systems","authors":"P. Wojciechowski, R. Chandrasekaran, K. Subramani","doi":"10.1007/978-3-319-58747-9_28","DOIUrl":"https://doi.org/10.1007/978-3-319-58747-9_28","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124041634","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}
Pub Date : 2017-06-08DOI: 10.1007/978-3-319-58747-9_1
T. Coquand
{"title":"Type Theory and Formalisation of Mathematics","authors":"T. Coquand","doi":"10.1007/978-3-319-58747-9_1","DOIUrl":"https://doi.org/10.1007/978-3-319-58747-9_1","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121173839","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}
Pub Date : 2017-06-08DOI: 10.1007/978-3-319-58747-9_2
J. Esparza
{"title":"Advances in Parameterized Verification of Population Protocols","authors":"J. Esparza","doi":"10.1007/978-3-319-58747-9_2","DOIUrl":"https://doi.org/10.1007/978-3-319-58747-9_2","url":null,"abstract":"","PeriodicalId":319321,"journal":{"name":"Computer Science Symposium in Russia","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131645695","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：