会员服务
自1984年以来，每年都会在德国和法国轮流举行计算机科学理论研讨会。从1984年到2007年的STACS会议记录已经发表在Springer计算机科学的课堂讲稿中。自2008年以来，会议记录以电子形式公布。官网链接：http://www.stacs-conf.org/index.html
Count-Free Weisfeiler--Leman and Group Isomorphism
Arxiv
0+阅读 · 1月22日
Count-Free Weisfeiler--Leman and Group Isomorphism
Arxiv
0+阅读 · 2023年12月29日
Parameterized covering in semi-ladder-free hypergraphs
Arxiv
0+阅读 · 2023年11月8日
Parameterized covering in semi-ladder-free hypergraphs
Arxiv
0+阅读 · 2023年11月1日
Fast and Succinct Population Protocols for Presburger Arithmetic
Arxiv
0+阅读 · 2023年10月30日
On the parallel complexity of Group Isomorphism via Weisfeiler-Leman
On the parallel complexity of Group Isomorphism via Weisfeiler-Leman
Arxiv
0+阅读 · 2023年7月28日
On the parallel complexity of Group Isomorphism via Weisfeiler-Leman
Arxiv
0+阅读 · 2023年3月17日
Count-Free Weisfeiler--Leman and Group Isomorphism
Count-Free Weisfeiler--Leman and Group Isomorphism
Arxiv
0+阅读 · 2022年12月21日
Low-depth arithmetic circuit lower bounds via shifted partials
Arxiv
0+阅读 · 2022年11月14日
On the parallel complexity of Group Isomorphism via Weisfeiler-Leman
Arxiv
0+阅读 · 2022年8月23日
Õptimal Dual Vertex Failure Connectivity Labels
Arxiv
0+阅读 · 2022年8月22日
Incomplete List Setting of the Hospitals/Residents Problem with Maximally Satisfying Lower Quotas
Arxiv
0+阅读 · 2022年7月22日
Decidability and Periodicity of Low Complexity Tilings
Arxiv
0+阅读 · 2022年6月3日
Incomplete List Setting of the Hospitals/Residents Problem with Maximally Satisfying Lower Quotas
Arxiv
0+阅读 · 2022年5月20日
Fast and Succinct Population Protocols for Presburger Arithmetic
Arxiv
0+阅读 · 2022年3月28日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top