会员服务
TOCS致力于从理论计算机科学的所有领域发布原始研究，从计算复杂性等基础领域到诸如算法和数据结构等基本领域，例如并行和分布式算法和体系结构等重点领域。官网链接：https://www.springer.com/journal/224
The Parameterized Complexity of Learning Monadic Second-Order Logic
Arxiv
0+阅读 · 1月17日
Learning Aggregate Queries Defined by First-Order Logic with Counting
Arxiv
0+阅读 · 2024年11月6日
Simple Linear-time Repetition Factorization
Arxiv
0+阅读 · 2024年8月8日
Enumeration Kernels of Polynomial Size for Cuts of Bounded Degree
Arxiv
0+阅读 · 2024年4月27日
Learning Concepts Definable in First-Order Logic with Counting
Arxiv
0+阅读 · 2024年3月23日
The future of document indexing: GPT and Donut revolutionize table of content processing
Arxiv
0+阅读 · 2024年3月12日
The Parameterized Complexity of Learning Monadic Second-Order Logic
Arxiv
0+阅读 · 2024年2月12日
Enumeration Kernelizations of Polynomial Size for Cuts of Bounded Degree
Arxiv
0+阅读 · 2024年2月2日
Polynomial-delay Enumeration Kernelizations for Cuts of Bounded Degree
Arxiv
0+阅读 · 2023年12月1日
Polynomial-delay Enumeration Kernelizations for Cuts of Bounded Degree
Arxiv
0+阅读 · 2023年11月30日
On the Parameterized Complexity of Learning Monadic Second-Order Formulas
Arxiv
0+阅读 · 2023年9月19日
Polynomial-delay Enumeration Kernelizations for Cuts of Bounded Degree
Arxiv
0+阅读 · 2023年8月2日
On the Parameterized Complexity of Learning First-Order Logic
Arxiv
0+阅读 · 2021年6月28日
On the Parameterized Complexity of Learning Logic
Arxiv
0+阅读 · 2021年2月24日
An Optimal Algorithm for Online Multiple Knapsack
Arxiv
0+阅读 · 2020年4月27日
参考链接
父主题
计算机科学理论
微信扫码咨询专知VIP会员
Top