会员服务
LICS研讨会是一个年度国际论坛，讨论与广义逻辑相关的计算机科学理论和实践课题。官网链接：http://lics.siglog.org/
Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
Arxiv
0+阅读 · 4月30日
On classes of bounded tree rank, their interpretations, and efficient sparsification
On classes of bounded tree rank, their interpretations, and efficient sparsification
Arxiv
0+阅读 · 4月29日
Improved Algorithm for Reachability in $d$-VASS
Arxiv
0+阅读 · 4月23日
On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$
Arxiv
0+阅读 · 4月20日
Learning Concepts Definable in First-Order Logic with Counting
Arxiv
0+阅读 · 3月23日
Characterising memory in infinite games
Arxiv
0+阅读 · 2月29日
Adapting Learned Image Codecs to Screen Content via Adjustable Transformations
Arxiv
0+阅读 · 2月27日
Characterising memory in infinite games
Arxiv
0+阅读 · 2月13日
Elementary first-order model checking for sparse graphs
Arxiv
0+阅读 · 1月29日
Count-Free Weisfeiler--Leman and Group Isomorphism
Arxiv
0+阅读 · 1月22日
Count-Free Weisfeiler--Leman and Group Isomorphism
Arxiv
0+阅读 · 2023年12月29日
Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth and Vertex Cover
Arxiv
0+阅读 · 2023年11月29日
On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$
Arxiv
0+阅读 · 2023年10月4日
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日
Tight (Double) Exponential Bounds for NP-Complete Problems: Treewidth and Vertex Cover Parameterizations
Arxiv
0+阅读 · 2023年7月16日
参考链接
父主题
计算机科学理论
IEEE
微信扫码咨询专知VIP会员
Top