会员服务
Modular Counting CSP: Reductions and Algorithms
Arxiv
0+阅读 · 1月8日
Empirical Evaluation of the Implicit Hitting Set Approach for Weighted CSPs
Arxiv
0+阅读 · 1月13日
Symmetric Linear Arc Monadic Datalog and Gadget Reductions
Arxiv
0+阅读 · 1月7日
Symmetric Linear Arc Monadic Datalog and Gadget Reductions
Arxiv
0+阅读 · 1月8日
Privacy-Preserving Cyberattack Detection in Blockchain-Based IoT Systems Using AI and Homomorphic Encryption
Arxiv
1+阅读 · 2024年12月18日
Filling Memory Gaps: Enhancing Continual Semantic Parsing via SQL Syntax Variance-Guided LLMs without Real Data Replay
Arxiv
0+阅读 · 2024年12月10日
Robust Contraction Decomposition for Minor-Free Graphs and its Applications
Arxiv
0+阅读 · 2024年12月5日
Optimal energy collection with rotational movements constraints in concentrated solar power plants
Arxiv
0+阅读 · 2024年11月28日
Truffle: Efficient Data Passing for Data-Intensive Serverless Workflows in the Edge-Cloud Continuum
Arxiv
0+阅读 · 2024年11月25日
On guarded extensions of MMSNP
Arxiv
0+阅读 · 2024年11月25日
Transformer-based Heuristic for Advanced Air Mobility Planning
Arxiv
0+阅读 · 2024年11月21日
Hereditary First-Order Model Checking
Arxiv
0+阅读 · 2024年11月16日
Efficient Algorithms and New Characterizations for CSP Sparsification
Arxiv
0+阅读 · 2024年11月5日
Redundancy Is All You Need
Arxiv
0+阅读 · 2024年11月5日
The periodic structure of local consistency
Arxiv
0+阅读 · 2024年10月31日
参考链接
微信扫码咨询专知VIP会员
Top