会员服务
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 11月10日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 11月15日
Towards Comprehensive Sampling of SMT Solutions
Arxiv
0+阅读 · 11月13日
Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
Arxiv
0+阅读 · 11月28日
Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
Arxiv
0+阅读 · 12月5日
The Complexity of Generalized HyperLTL with Stuttering and Contexts
Arxiv
0+阅读 · 11月10日
TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
Arxiv
0+阅读 · 11月11日
Unbounded-width CSPs are Untestable in a Sublinear Number of Queries
Arxiv
0+阅读 · 11月15日
Exponential separations using guarded extension variables
Arxiv
0+阅读 · 2023年4月30日
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Arxiv
0+阅读 · 2023年4月20日
Proving Non-Termination by Acceleration Driven Clause Learning with LoAT
Arxiv
0+阅读 · 2023年4月20日
On Approximate Reconfigurability of Label Cover
Arxiv
0+阅读 · 2023年4月18日
Situated Conditional Reasoning
Arxiv
0+阅读 · 2023年4月17日
Local Search For Satisfiability Modulo Integer Arithmetic Theories
Arxiv
0+阅读 · 2023年4月16日
Is Causal Reasoning Harder than Probabilistic Reasoning?
Arxiv
0+阅读 · 2023年4月16日
参考链接
微信扫码咨询专知VIP会员
Top