会员服务
Reintroducing the Second Player in EPR
Arxiv
0+阅读 · 2月18日
Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
Arxiv
0+阅读 · 2月18日
On the $Σ^0_1$-Completeness of Cubic Diophantine Systems and their Consequences for Equations
Arxiv
0+阅读 · 2月17日
Towards a theory of Façade-X data access: satisfiability of SPARQL basic graph patterns
Arxiv
0+阅读 · 2月12日
New Algorithms and Hardness Results for Robust Satisfiability of (Promise) CSPs
Arxiv
0+阅读 · 2月10日
Flexible constraint satisfiability and a problem in semigroup theory
Arxiv
0+阅读 · 2月10日
Deciding the Satisfiability of Combined Qualitative Constraint Networks
Arxiv
0+阅读 · 2月9日
On the Expressive Power of GNNs for Boolean Satisfiability
Arxiv
0+阅读 · 2月9日
The Complexity of Second-order HyperLTL
Arxiv
0+阅读 · 1月29日
Gateways to Tractability for Satisfiability in Pearl's Causal Hierarchy
Arxiv
0+阅读 · 1月26日
LPrL: An Asynchronous Linear Time Hyper Logic
Arxiv
0+阅读 · 1月20日
The Complexity of Second-order HyperLTL
Arxiv
0+阅读 · 1月16日
The PRODSAT phase of random quantum satisfiability
Arxiv
0+阅读 · 1月14日
Teaching Transformers to Solve Combinatorial Problems through Efficient Trial & Error
Arxiv
0+阅读 · 1月16日
Integer Linear Programming Preprocessing for Maximum Satisfiability
Arxiv
0+阅读 · 1月26日
参考链接
微信扫码咨询专知VIP会员
Top