会员服务
New Algorithms and Hardness Results for Robust Satisfiability of (Promise) CSPs
Arxiv
0+阅读 · 2月10日
Graph Homomorphisms and Universal Algebra
Arxiv
0+阅读 · 2月15日
Conservative Maltsev Constraint Satisfaction Problems
Arxiv
0+阅读 · 2月7日
The Price of Privacy For Approximating Max-CSP
Arxiv
0+阅读 · 2月9日
Large Language Models as Formalizers on Constraint Satisfaction Problems
Arxiv
0+阅读 · 2月6日
Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
Arxiv
0+阅读 · 1月30日
Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
Arxiv
0+阅读 · 2月3日
Polynomial definability in constraint languages with few subpowers
Arxiv
0+阅读 · 1月27日
A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems
Arxiv
0+阅读 · 1月20日
Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems
Arxiv
0+阅读 · 1月8日
NP-membership for the boundary-boundary art-gallery problem
Arxiv
0+阅读 · 2025年11月3日
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日
Local structure of idempotent algebras I
Arxiv
0+阅读 · 2023年5月1日
Boolean symmetric vs. functional PCSP dichotomy
Arxiv
0+阅读 · 2023年4月20日
参考链接
微信扫码咨询专知VIP会员
Top