会员服务
LICS研讨会是一个年度国际论坛，讨论与广义逻辑相关的计算机科学理论和实践课题。官网链接：http://lics.siglog.org/
Cross-Country Comparative Analysis of Climate Resilience and Localized Mapping in Data-Sparse Regions
Arxiv
0+阅读 · 9月13日
LiCS: Navigation using Learned-imitation on Cluttered Space
Arxiv
0+阅读 · 6月21日
Homomorphism Counts to Trees
Arxiv
0+阅读 · 5月29日
First Order Logic of Sparse Graphs with Given Degree Sequences
Arxiv
0+阅读 · 5月23日
Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
Arxiv
0+阅读 · 5月12日
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日
参考链接
父主题
计算机科学理论
IEEE
微信扫码咨询专知VIP会员
Top