会员服务
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日
Can Continuous-Time Diffusion Models Generate and Solve Globally Constrained Discrete Problems? A Study on Sudoku
Arxiv
0+阅读 · 1月28日
A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems
Arxiv
0+阅读 · 1月20日
Ontology Neural Networks for Topologically Conditioned Constraint Satisfaction
Arxiv
0+阅读 · 1月8日
Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems
Arxiv
0+阅读 · 1月8日
Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
Arxiv
0+阅读 · 2025年12月19日
Enumeration algorithms for combinatorial problems using Ising machines: When should we stop exploring energy landscapes?
Arxiv
0+阅读 · 2025年11月7日
T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin Method
Arxiv
0+阅读 · 2025年12月11日
参考链接
微信扫码咨询专知VIP会员
Top