会员服务
第47届自动化、语言和编程国际学术讨论会（ICALP 2020）是欧洲理论计算机科学的主要会议和欧洲理论计算机科学协会（EATCS）年会，将于2020年7月8日至12日在中国北京举行。ICARP 2020将有两个传统的轨道A（算法、复杂度和游戏）和B（自动机、逻辑、语义和编程理论）。官网链接：https://econcs.pku.edu.cn/icalp2020/
The Complexity of Bisimilarity and Model Checking in Finitary Diagrams
Arxiv
0+阅读 · 6月15日
Measuring Depth of Matroids
Arxiv
0+阅读 · 5月6日
Equations over Finite Monoids with Infinite Promises
Arxiv
0+阅读 · 5月5日
Towards Tight Robust Coresets for $k$-Medians Clustering
Arxiv
0+阅读 · 6月11日
Faster Multi-Source Reachability and Approximate Distances via Shortcuts, Hopsets and Matrix Multiplication
Arxiv
0+阅读 · 5月11日
A note on approximating the average degree of bounded arboricity graphs
Arxiv
0+阅读 · 3月10日
Optimal Competitive Ratio of Two-sided Online Bipartite Matching
Arxiv
0+阅读 · 2月20日
Improved exploration of temporal graphs
Arxiv
0+阅读 · 2025年11月27日
Faster Negative-Weight Shortest Paths and Directed Low-Diameter Decompositions
Arxiv
0+阅读 · 2025年10月26日
Hardness of Approximation for Shortest Path with Vector Costs
Arxiv
0+阅读 · 2025年10月24日
Graph modification of bounded size to minor-closed classes as fast as vertex deletion
Arxiv
0+阅读 · 2025年10月15日
On the Descriptive Complexity of Groups without Abelian Normal Subgroups
Arxiv
0+阅读 · 2025年10月14日
Positionality in Σ_0^2 and a completeness result
Arxiv
0+阅读 · 2025年6月11日
Improved Round-by-round Soundness IOPs via Reed-Muller Codes
Arxiv
0+阅读 · 2025年4月1日
A Global Analysis of the Primal-Dual Method for Pliable Families
Arxiv
0+阅读 · 2025年3月23日
参考链接
微信扫码咨询专知VIP会员
Top