会员服务
Discovering Crystal Structure Prediction Algorithms with an AI Co-Scientist
Arxiv
0+阅读 · 6月22日
Towards infinite PCSP: a dichotomy for monochromatic cliques
Arxiv
0+阅读 · 5月10日
Strongly Refuting Random CSP without Literals
Arxiv
0+阅读 · 4月30日
When Does Sparsity Help for k-Independent Set in Hypergraphs and Other Boolean CSPs?
Arxiv
0+阅读 · 5月11日
Near Optimal Alphabet-Soundness Tradeoff PCPs
Arxiv
0+阅读 · 5月13日
Characterizing Streaming Decidability of CSPs via Non-Redundancy
Arxiv
0+阅读 · 5月13日
Non-Redundancy of Low-Arity Symmetric Boolean CSPs
Arxiv
0+阅读 · 5月13日
A categorical perspective on constraint satisfaction: The wonderland of adjunctions
Arxiv
0+阅读 · 5月14日
Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
Arxiv
0+阅读 · 4月7日
Singleton algorithms for the Constraint Satisfaction Problem
Arxiv
0+阅读 · 3月30日
Symmetric Linear Arc Monadic Datalog and Gadget Reductions
Arxiv
0+阅读 · 5月6日
Optimal Single-Pass Streaming Lower Bounds for Approximating CSPs
Arxiv
0+阅读 · 4月9日
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
Arxiv
0+阅读 · 5月6日
SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
Arxiv
0+阅读 · 4月6日
Redundancy Is All You Need (for CSP Sparsification)
Arxiv
0+阅读 · 5月15日
参考链接
微信扫码咨询专知VIP会员
Top