会员服务
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日
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日
On streaming approximation algorithms for constraint satisfaction problems
On streaming approximation algorithms for constraint satisfaction problems
Arxiv
0+阅读 · 2023年4月13日
Uniformly Random Colourings of Sparse Graphs
Arxiv
0+阅读 · 2023年3月27日
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring
Arxiv
0+阅读 · 2023年3月25日
参考链接
微信扫码咨询专知VIP会员
Top