会员服务
Structures preserved by primitive actions of $S_ω$
Arxiv
0+阅读 · 6月8日
Boolean PCSPs through the lens of Fourier Analysis
Arxiv
0+阅读 · 4月24日
Strongly Refuting Random CSP without Literals
Arxiv
0+阅读 · 4月30日
Kernelization Bounds for Constrained Coloring
Arxiv
0+阅读 · 4月23日
Leader Election via Unique Sink Orientation
Arxiv
0+阅读 · 6月1日
Graph Homomorphisms and Universal Algebra
Arxiv
0+阅读 · 4月25日
A categorical perspective on constraint satisfaction: The wonderland of adjunctions
Arxiv
0+阅读 · 5月14日
Singleton algorithms for the Constraint Satisfaction Problem
Arxiv
0+阅读 · 3月30日
Symmetric Linear Arc Monadic Datalog and Gadget Reductions
Arxiv
0+阅读 · 5月6日
Dequantizing Short-Path Quantum Algorithms
Arxiv
0+阅读 · 4月13日
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
Arxiv
0+阅读 · 5月6日
SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
Arxiv
0+阅读 · 4月6日
Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
Arxiv
0+阅读 · 4月1日
Classification of Non-redundancy of Boolean Predicates of Arity 4
Arxiv
0+阅读 · 3月22日
Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
Arxiv
0+阅读 · 4月3日
参考链接
微信扫码咨询专知VIP会员
Top