会员服务
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 11月10日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 11月15日
The Complexity of Generalized HyperLTL with Stuttering and Contexts
Arxiv
0+阅读 · 11月10日
Two-Variable Logic for Hierarchically Partitioned and Ordered Data
Arxiv
0+阅读 · 12月10日
Local Search For Satisfiability Modulo Integer Arithmetic Theories
Arxiv
0+阅读 · 2023年4月16日
Uncertainty-Based Knowing How Logic
Arxiv
0+阅读 · 2023年4月3日
HyperLTL Is Highly Undecidable, HyperCTL* is Even Harder
Arxiv
0+阅读 · 2023年3月29日
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top