会员服务
Satisfiability in Łukasiewicz logic and its unbounded relative
Arxiv
0+阅读 · 2025年12月22日
Notes on the 33-point Erdős--Szekeres problem
Arxiv
0+阅读 · 2025年12月30日
Checking Satisfiability of Hyperproperties using First-Order Logic
Arxiv
0+阅读 · 2025年12月29日
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
Arxiv
0+阅读 · 2025年12月29日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 2025年11月10日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 2025年11月15日
Towards Comprehensive Sampling of SMT Solutions
Arxiv
0+阅读 · 2025年11月13日
Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
Arxiv
0+阅读 · 2025年11月28日
Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
Arxiv
0+阅读 · 2025年12月5日
The Complexity of Generalized HyperLTL with Stuttering and Contexts
Arxiv
0+阅读 · 2025年11月10日
TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
Arxiv
0+阅读 · 2025年11月11日
Unbounded-width CSPs are Untestable in a Sublinear Number of Queries
Arxiv
0+阅读 · 2025年11月15日
Compact SAT Encoding for Power Peak Minimization
Arxiv
0+阅读 · 2025年12月12日
Data-Aware Hybrid Tableaux
Arxiv
0+阅读 · 2025年12月4日
Data-Aware Hybrid Tableaux
Arxiv
0+阅读 · 2025年11月11日
参考链接
微信扫码咨询专知VIP会员
Top