会员服务
Algebraic Circuits Over Sum and Shift and Existential Presburger Arithmetic with Divisibility
Arxiv
0+阅读 · 6月12日
A Study of Parallel Continuous Local Search
Arxiv
0+阅读 · 6月8日
Guarded Negation Transitive Closure Logic
Arxiv
0+阅读 · 5月16日
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日
Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
Arxiv
0+阅读 · 5月27日
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
Arxiv
0+阅读 · 4月29日
Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
Arxiv
0+阅读 · 2月26日
Reintroducing the Second Player in EPR
Arxiv
0+阅读 · 2月18日
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日
Integer Linear Programming Preprocessing for Maximum Satisfiability
Arxiv
0+阅读 · 1月26日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 2025年11月10日
参考链接
微信扫码咨询专知VIP会员
Top