会员服务
r-indexing without backward searching
Arxiv
0+阅读 · 3月17日
r-indexing without backward searching
Arxiv
0+阅读 · 2023年12月3日
Faster Wavelet Tree Queries
Arxiv
0+阅读 · 2023年11月8日
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning
Arxiv
0+阅读 · 2023年10月30日
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning
Arxiv
0+阅读 · 2023年10月27日
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Arxiv
0+阅读 · 2023年8月11日
Breaking a Barrier in Constructing Compact Indexes for Parameterized Pattern Matching
Arxiv
0+阅读 · 2023年8月11日
Optimally Computing Compressed Indexing Arrays Based on the Compact Directed Acyclic Word Graph
Arxiv
0+阅读 · 2023年8月4日
Faster Wavelet Trees with Quad Vectors
Arxiv
0+阅读 · 2023年2月18日
Deterministic Performance Guarantees for Bidirectional BFS on Real-World Networks
Arxiv
0+阅读 · 2022年9月30日
Specification-Guided Component-Based Synthesis from Effectful Libraries
Arxiv
0+阅读 · 2022年9月6日
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Arxiv
0+阅读 · 2022年8月12日
Efficient labeling algorithms for adjacent quadratic shortest paths
Arxiv
0+阅读 · 2021年12月7日
FM-Indexing Grammars Induced by Suffix Sorting for Long Patterns
Arxiv
0+阅读 · 2021年10月4日
Solving Sokoban with backward reinforcement learning
Arxiv
0+阅读 · 2021年5月5日
参考链接
微信扫码咨询专知VIP会员
Top