会员服务
Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems
Arxiv
0+阅读 · 1月8日
Argo: An efficient verification framework for distributed in-network computing
Arxiv
0+阅读 · 2025年11月11日
Quantum Polymorphisms and Commutativity Gadgets
Arxiv
0+阅读 · 2025年11月28日
Spectral Certificates and Sum-of-Squares Lower Bounds for Semirandom Hamiltonians
Arxiv
0+阅读 · 2025年11月4日
Spectral Certificates and Sum-of-Squares Lower Bounds for Semirandom Hamiltonians
Arxiv
0+阅读 · 2025年11月10日
Unbounded-width CSPs are Untestable in a Sublinear Number of Queries
Arxiv
0+阅读 · 2025年11月15日
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
Arxiv
0+阅读 · 2025年11月3日
On guarded extensions of MMSNP
Arxiv
0+阅读 · 2025年10月29日
Modular Counting over 3-Element and Conservative Domains
Arxiv
0+阅读 · 2025年10月11日
A CSP approach to Graph Sandwich Problems
Arxiv
0+阅读 · 2025年10月10日
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
Arxiv
0+阅读 · 2025年10月3日
Complexity classification of counting graph homomorphisms modulo a prime number
Arxiv
0+阅读 · 2025年10月1日
Efficient Construction of Large Search Spaces for Auto-Tuning
Arxiv
0+阅读 · 2025年9月30日
Some Applications and Limitations of Convex Optimization Hierarchies for Discrete and Continuous Optimization Problems
Arxiv
0+阅读 · 2025年8月29日
Dichotomy for orderings?
Arxiv
0+阅读 · 2025年4月17日
参考链接
微信扫码咨询专知VIP会员
Top