会员服务
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日
Compact SAT Encoding for Power Peak Minimization
Arxiv
0+阅读 · 12月12日
Data-Aware Hybrid Tableaux
Arxiv
0+阅读 · 12月4日
Data-Aware Hybrid Tableaux
Arxiv
0+阅读 · 11月11日
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
Arxiv
0+阅读 · 11月15日
Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
Arxiv
0+阅读 · 11月11日
Two-Variable Logic for Hierarchically Partitioned and Ordered Data
Arxiv
0+阅读 · 12月10日
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
Arxiv
0+阅读 · 12月7日
参考链接
微信扫码咨询专知VIP会员
Top