会员服务
Algebraic Circuits Over Sum and Shift and Existential Presburger Arithmetic with Divisibility
Arxiv
0+阅读 · 6月12日
Exploiting Search in Symbolic Numeric Planning with Patterns
Arxiv
0+阅读 · 6月15日
Satisfiability in Łukasiewicz logic and its unbounded relative
Arxiv
0+阅读 · 5月27日
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Arxiv
0+阅读 · 6月2日
A Study of Parallel Continuous Local Search
Arxiv
0+阅读 · 6月8日
Polynomial-time satisfiability for a special case of Positive$\wedge$Negative
Arxiv
0+阅读 · 6月3日
Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
Arxiv
0+阅读 · 5月12日
Guarded Negation Transitive Closure Logic
Arxiv
0+阅读 · 5月16日
Lower Bounds for Subset Sum in Resolution with Modular Counting
Arxiv
0+阅读 · 4月22日
The classification of minimally unsatisfiable 2-CNFs -- a fundamental study
Arxiv
0+阅读 · 4月23日
The Guarded Fragment with Nested Equivalences
Arxiv
0+阅读 · 5月14日
Reasoning Models Don't Just Think Longer, They Move Differently
Arxiv
0+阅读 · 6月4日
Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
Arxiv
0+阅读 · 5月7日
Towards a theory of Façade-X data access: satisfiability of SPARQL basic graph patterns
Arxiv
0+阅读 · 5月8日
The Complexity of Asynchronous HyperLTL
Arxiv
0+阅读 · 6月4日
参考链接
微信扫码咨询专知VIP会员
Top