会员服务
Reportable Shortcuts with RLBWTs
Arxiv
0+阅读 · 11月4日
More RLBWT Tricks
Arxiv
0+阅读 · 11月4日
Reportable Shortcuts with RLBWTs
Arxiv
0+阅读 · 10月12日
Tunnelling with a reference
Arxiv
0+阅读 · 9月6日
r-indexing without backward searching
Arxiv
0+阅读 · 2024年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日
参考链接
微信扫码咨询专知VIP会员
Top