会员服务
ABD: Default Exception Abduction in Finite First Order Worlds
Arxiv
0+阅读 · 2月21日
The Complexity of HyperQPTL
Arxiv
0+阅读 · 2月23日
Rethinking Clause Management for CDCL SAT Solvers
Arxiv
0+阅读 · 2月24日
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
Arxiv
0+阅读 · 2月26日
Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
Arxiv
0+阅读 · 2月20日
A Relational Theory of Grounding and a new Grounder for SMT
Arxiv
0+阅读 · 2月22日
Proof by Mechanization: Cubic Diophantine Equation Satisfiability is $Σ^0_1$-Complete
Arxiv
0+阅读 · 2月23日
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日
参考链接
微信扫码咨询专知VIP会员
Top